diff runfilter.sh @ 3100:c49c893c3d27

small inlining simplification
author Lukas Stadler <lukas.stadler@jku.at>
date Wed, 29 Jun 2011 20:11:13 +0200
parents fef84503ab7d
children adfd999fff7d
line wrap: on
line diff