lib/browser/GraphBrowser/Console.java
changeset 14981 e73f8140af78
parent 13972 fac2aa7618ed
child 18018 82206a6c75c0
--- a/lib/browser/GraphBrowser/Console.java	Sun Jun 20 09:30:12 2004 +0200
+++ b/lib/browser/GraphBrowser/Console.java	Mon Jun 21 10:25:57 2004 +0200
@@ -2,7 +2,6 @@
   Title:      GraphBrowser/Console.java
   ID:         $Id$
   Author:     Gerwin Klein, TU Muenchen
-  License:    GPL (GNU GENERAL PUBLIC LICENSE)
 
   This is the graph browser's main class when run as a console application.
   It duplicates some logic from GraphBrowser and GraphView.