changeset 14981 | e73f8140af78 |
parent 10555 | 2323ec838401 |
child 29145 | b1c6f4563df7 |
1.1 --- a/lib/scripts/run-smlnj Sun Jun 20 09:30:12 2004 +0200 1.2 +++ b/lib/scripts/run-smlnj Mon Jun 21 10:25:57 2004 +0200 1.3 @@ -2,7 +2,6 @@ 1.4 # 1.5 # $Id$ 1.6 # Author: Markus Wenzel, TU Muenchen 1.7 -# License: GPL (GNU GENERAL PUBLIC LICENSE) 1.8 # 1.9 # SML/NJ startup script (for 110 or later). 1.10