diff -r d85fadb263a0 -r 1b8381afe38f DebugClients/Python/coverage/misc.py
--- a/DebugClients/Python/coverage/misc.py Sun Apr 13 15:45:57 2014 +0200
+++ b/DebugClients/Python/coverage/misc.py Tue Apr 15 22:41:08 2014 +0200
@@ -165,3 +165,6 @@
"""
pass
+
+#
+# eflag: FileType = Python2