diff -r 60f663154789 -r f2d4b02c7e88 DebugClients/Python/coverage/summary.py --- a/DebugClients/Python/coverage/summary.py Sat Apr 12 16:19:56 2014 +0200 +++ b/DebugClients/Python/coverage/summary.py Sat Apr 12 16:57:18 2014 +0200 @@ -84,3 +84,6 @@ outfile.write(fmt_coverage % args) return total.pc_covered + +# +# eflag: FileType = Python2