David Majda 2d4ee4fb23 Make /tools/improve script measure speed 5 times and compute an average ... I measured speed 5 times manually too before introducing the script. It gives more stable results.		2011-09-03 18:51:30 +02:00
..
impact	Make /tools/improve script measure speed 5 times and compute an average	2011-09-03 18:51:30 +02:00