Dave Halter b18239f9dd Add a way to profile the diff parser.

2017-01-25 23:00:33 +01:00

..

diff_parser_profile.py

Add a way to profile the diff parser.

2017-01-25 23:00:33 +01:00

memory_check.py

…

profile.py

…

wx_check.py

…