Dave Halter f6f2765ab9 Rename the profile script to profile_output to avoid name clashes with the stdlibs profile.py.

2017-03-31 17:27:16 +02:00

..

diff_parser_profile.py

…

memory_check.py

…

profile_output.py

Rename the profile script to profile_output to avoid name clashes with the stdlibs profile.py.

2017-03-31 17:27:16 +02:00

wx_check.py

…