diff runscimark.sh @ 2574:d1ea2563836d

Merge.
author Thomas Wuerthinger <thomas@wuerthinger.net>
date Wed, 04 May 2011 16:36:09 +0200
parents b21123d5a693
children 092e628ddd5d
line wrap: on
line diff