| changeset 3055 | 5da4afa207ad |
| parent 3010 | 4be22c300966 |
| child 3503 | 390093b95cb0 |
--- a/lib/scripts/run-smlnj-0.93 Fri Apr 25 15:08:52 1997 +0200 +++ b/lib/scripts/run-smlnj-0.93 Fri Apr 25 15:10:52 1997 +0200 @@ -4,7 +4,7 @@ # # SML/NJ startup script (for 0.93). # -# Global vars: INFILE OUTFILE COPYDB MLTEXT TERMINATE, +# Global vars: INFILE OUTFILE MLTEXT TERMINATE, # and from settings