--- a/DebugClients/Python/coverage/annotate.py Sat Apr 12 16:19:56 2014 +0200
+++ b/DebugClients/Python/coverage/annotate.py Sat Apr 12 16:57:18 2014 +0200
@@ -100,3 +100,6 @@
dest.write(line)
source.close()
dest.close()
+
+#
+# eflag: FileType = Python2