--- 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