diff options
Diffstat (limited to 'Master/install-tl')
-rwxr-xr-x | Master/install-tl | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Master/install-tl b/Master/install-tl index 40cc2103ecb..58556426397 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -457,7 +457,6 @@ if (!$finished) { do_installation(); } -info ("$0: done.\n"); do_cleanup(); # closes the log file, so we say we're done before we are exit(0); |