diff runfilter.sh @ 3068:ea778c37bdae

Updated GRAAL_README. Add new short-cut flag for graph output "-G:Plot".
author Thomas Wuerthinger <thomas@wuerthinger.net>
date Thu, 23 Jun 2011 16:40:53 +0200
parents fef84503ab7d
children adfd999fff7d
line wrap: on
line diff