changeset 50473 | ca4088bf8365 |
parent 37738 | 7bf3ec9e7b0c |
--- a/lib/browser/GraphBrowser/Graph.java Mon Dec 10 21:55:57 2012 +0100 +++ b/lib/browser/GraphBrowser/Graph.java Tue Dec 11 10:35:42 2012 +0100 @@ -1,6 +1,7 @@ /*************************************************************************** Title: GraphBrowser/Graph.java Author: Stefan Berghofer, TU Muenchen + Options: :tabSize=4: This class contains the core of the layout algorithm and methods for drawing and PostScript output.