DebugClients/Python/coverage/pickle2json.py

changeset 5051
3586ebd9fac8
parent 4489
d0d6e4ad31bd
equal deleted inserted replaced
5047:04e5dfbd3f3d 5051:3586ebd9fac8
43 ) 43 )
44 44
45 (options, args) = parser.parse_args() 45 (options, args) = parser.parse_args()
46 46
47 pickle2json(options.input_file, options.output_file) 47 pickle2json(options.input_file, options.output_file)
48
49 #
50 # eflag: FileType = Python2

eric ide

mercurial