Message197303
I'm afraid the adding any separators will make some people angry. With a comma or space it no more a valid number in Python and many other languages and can't be copy/pasted and parsed.
Actually I sometimes use small shell scripts to run "python -m timeit" and parsing results with grep, sed and awk. It is easer in simplest cases than writing it on Python (especially when different Python binaries used).
I'm -0,1. |
|
Date |
User |
Action |
Args |
2013-09-08 17:59:03 | serhiy.storchaka | set | recipients:
+ serhiy.storchaka, tim.peters, pitrou, ezio.melotti, jstasiak |
2013-09-08 17:59:03 | serhiy.storchaka | set | messageid: <1378663143.68.0.316263722083.issue18975@psf.upfronthosting.co.za> |
2013-09-08 17:59:03 | serhiy.storchaka | link | issue18975 messages |
2013-09-08 17:59:03 | serhiy.storchaka | create | |
|