log perf/benchmarktool.py @ 3529:d683f8a40c05

age author description
Wed, 27 Jul 2011 14:14:53 -0700 Thomas Wuerthinger Changed benchmarktool to python script instead of shell script