diff runscimark.sh @ 2046:cf75612bdaa5

Renamed file.
author Thomas Wuerthinger <wuerthinger@ssw.jku.at>
date Fri, 07 Jan 2011 18:48:48 +0100
parents 8d88c9ac9247
children b21123d5a693
line wrap: on
line diff