diff runfilter.sh @ 3104:c8bfc73cb21c

IdealGraphVisualizer: Fix selection of node for gotoFigure()
author Peter Hofer <peter.hofer@jku.at>
date Thu, 30 Jun 2011 17:02:04 +0200
parents fef84503ab7d
children adfd999fff7d
line wrap: on
line diff