lib/Tools/display
changeset 15010 72fbe711e414
parent 14997 aa2aaab41566
child 15218 39747a9e3c37
--- a/lib/Tools/display	Tue Jun 29 10:07:56 2004 +0200
+++ b/lib/Tools/display	Tue Jun 29 11:18:34 2004 +0200
@@ -2,7 +2,6 @@
 #
 # $Id$
 # Author: Markus Wenzel, TU Muenchen
-# License: GPL (GNU GENERAL PUBLIC LICENSE)
 #
 # DESCRIPTION: display document (in DVI format)