diff runscimark.sh @ 2749:36440e516e44

block entry instructions created on-demand
author Lukas Stadler <lukas.stadler@jku.at>
date Fri, 20 May 2011 14:09:28 +0200
parents 6ab73784566a
children 189ffb7d1d84
line wrap: on
line diff