diff options
author | Karl Berry <karl@freefriends.org> | 2011-09-15 00:27:14 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2011-09-15 00:27:14 +0000 |
commit | e6e6a2239ac741e08a3c969947092dab99a17a25 (patch) | |
tree | c67d7e0c32485a6fdb7c79265e7d153eeb7a6e1f | |
parent | 5cf9db40ce398d1b14f3f6eb5828fac53ce81aff (diff) |
darn extra space
git-svn-id: svn://tug.org/texlive/trunk@23963 c570f23f-e606-0410-a88d-b1316a301751
-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); |