diff options
| -rwxr-xr-x | Master/tlpkg/installer/install-menu-text.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/installer/install-menu-text.pl b/Master/tlpkg/installer/install-menu-text.pl index 59cc7d3e0ef..082b3519a69 100755 --- a/Master/tlpkg/installer/install-menu-text.pl +++ b/Master/tlpkg/installer/install-menu-text.pl @@ -137,7 +137,7 @@ sub run_menu_text { print "[0] default mirror - http://mirror.ctan.org\n"; my $local_ind = "a"; if ($#media_available >= 0) { - print "Local repositories:\n"; + print "Local repositories:\n"; # we have some local media present, propose to use it for my $l (@media_available) { my ($a, $b) = split ('#', $l); |