diff make/jprt.gmk @ 3217:064ebe531f9e

IdealGraphVisualizer: modify RemoveFilter to optionally remove all nodes that became orphans as result of the remove and add a JavaScript removeIncludeOrphans() filter function
author Peter Hofer <peter.hofer@jku.at>
date Wed, 13 Jul 2011 17:20:53 +0200
parents 0a8e0d4345b3
children 03b943e6c025
line wrap: on
line diff