diff create64.cmd @ 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 686f5091af28
children dbad39c24069
line wrap: on
line diff