diff -r 60f663154789 -r f2d4b02c7e88 DebugClients/Python/coverage/misc.py
--- a/DebugClients/Python/coverage/misc.py Sat Apr 12 16:19:56 2014 +0200
+++ b/DebugClients/Python/coverage/misc.py Sat Apr 12 16:57:18 2014 +0200
@@ -165,3 +165,6 @@
"""
pass
+
+#
+# eflag: FileType = Python2