changeset 33686 | 8e33ca8832b1 |
parent 14981 | e73f8140af78 |
--- a/lib/browser/GraphBrowser/Box.java Sat Nov 14 18:16:13 2009 +0100 +++ b/lib/browser/GraphBrowser/Box.java Sat Nov 14 18:36:05 2009 +0100 @@ -1,8 +1,6 @@ /*************************************************************************** Title: GraphBrowser/Box.java - ID: $Id$ Author: Gerwin Klein, TU Muenchen - Copyright 2003 TU Muenchen A box with width and height. Used instead of java.awt.Dimension for batch mode.