changeset 31315 | 3c7b40548a84 |
parent 29145 | b1c6f4563df7 |
child 31317 | 1f5740424c69 |
--- a/lib/scripts/run-mosml Sun May 31 15:07:03 2009 +0200 +++ b/lib/scripts/run-mosml Sun May 31 15:27:19 2009 +0200 @@ -4,7 +4,7 @@ # # Moscow ML 2.00 startup script -export -n INFILE OUTFILE COPYDB COMPRESS MLTEXT TERMINATE NOWRITE +export -n INFILE OUTFILE COMPRESS MLTEXT TERMINATE NOWRITE ## diagnostics