diff -r d85fadb263a0 -r 1b8381afe38f DebugClients/Python/coverage/annotate.py --- a/DebugClients/Python/coverage/annotate.py Sun Apr 13 15:45:57 2014 +0200 +++ b/DebugClients/Python/coverage/annotate.py Tue Apr 15 22:41:08 2014 +0200 @@ -100,3 +100,6 @@ dest.write(line) source.close() dest.close() + +# +# eflag: FileType = Python2