changeset 14981 | e73f8140af78 |
parent 13970 | 4aef7117817b |
child 33686 | 8e33ca8832b1 |
--- a/lib/browser/GraphBrowser/Box.java Sun Jun 20 09:30:12 2004 +0200 +++ b/lib/browser/GraphBrowser/Box.java Mon Jun 21 10:25:57 2004 +0200 @@ -3,7 +3,6 @@ ID: $Id$ Author: Gerwin Klein, TU Muenchen Copyright 2003 TU Muenchen - License: GPL (GNU GENERAL PUBLIC LICENSE) A box with width and height. Used instead of java.awt.Dimension for batch mode.