diff runfop.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 3ed1b2a5d071
children b9307b923f26
line wrap: on
line diff