diff -r 04e5dfbd3f3d -r 3586ebd9fac8 DebugClients/Python/coverage/env.py --- a/DebugClients/Python/coverage/env.py Sat Jul 23 13:33:54 2016 +0200 +++ b/DebugClients/Python/coverage/env.py Sun Jul 24 12:01:01 2016 +0200 @@ -30,3 +30,6 @@ # Even when running tests, you can use COVERAGE_TESTING=0 to disable the # test-specific behavior like contracts. TESTING = os.getenv('COVERAGE_TESTING', '') == 'True' + +# +# eflag: FileType = Python2