log perf/benchmarktool.sh @ 3185:4ccb3d5e4da1

age author description
Thu, 07 Jul 2011 18:19:24 +0200 Josef Haider Added a small python script for automated benchmarks.