--- a/DebugClients/Python/coverage/cmdline.py Sat Apr 12 16:19:56 2014 +0200 +++ b/DebugClients/Python/coverage/cmdline.py Sat Apr 12 16:57:18 2014 +0200 @@ -742,3 +742,6 @@ else: status = None return status + +# +# eflag: FileType = Python2