4 Commits

Author	SHA1	Message	Date
Dave Halter	2b268435c4	Make some profile output better	2018-12-01 13:35:29 +01:00
Dave Halter	07d48df314	Make it possible to have higher precision with pstats displayed	2018-12-01 11:45:09 +01:00
Dave Halter	2eb5e9b42d	Improve the profiling script	2018-11-28 22:48:13 +01:00
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