--- a/DebugClients/Python/coverage/results.py Sun Apr 13 15:45:57 2014 +0200
+++ b/DebugClients/Python/coverage/results.py Tue Apr 15 22:41:08 2014 +0200
@@ -284,3 +284,6 @@
if other == 0:
return self
return NotImplemented
+
+#
+# eflag: FileType = Python2