diff runfop.sh @ 2923:287ddc8a9119

Added guard node.
author Thomas Wuerthinger <thomas@wuerthinger.net>
date Thu, 09 Jun 2011 13:41:49 +0200
parents eb3a82946429
children 0d103e2a38e5
line wrap: on
line diff