changeset 33686 | 8e33ca8832b1 |
parent 14981 | e73f8140af78 |
child 50473 | ca4088bf8365 |
--- a/lib/browser/GraphBrowser/GraphBrowser.java Sat Nov 14 18:16:13 2009 +0100 +++ b/lib/browser/GraphBrowser/GraphBrowser.java Sat Nov 14 18:36:05 2009 +0100 @@ -1,6 +1,5 @@ /*************************************************************************** Title: GraphBrowser/GraphBrowser.java - ID: $Id$ Author: Stefan Berghofer, TU Muenchen This is the graph browser's main class. It contains the "main(...)"