--- a/DebugClients/Python/coverage/annotate.py Tue Jan 04 18:18:38 2011 +0100 +++ b/DebugClients/Python/coverage/annotate.py Tue Jan 04 18:44:51 2011 +0100 @@ -94,4 +94,7 @@ dest.write('! ') dest.write(line) source.close() - dest.close() \ No newline at end of file + dest.close() + +# +# eflag: FileType = Python2