Mercurial > hg > truffle
diff agent/make/start-rmiregistry.sh @ 3610:e3e8c6bc9c14
IdealGraphVisualizer: unhide Undo/Redo, these are actually implemented; other minor menu changes
author | Peter Hofer <peter.hofer@jku.at> |
---|---|
date | Wed, 02 Nov 2011 15:56:28 +0100 |
parents | c18cbe5936b8 |
children |