diff options
Diffstat (limited to 'Master/tlpkg/installer/install-menu-text.pl')
-rwxr-xr-x | Master/tlpkg/installer/install-menu-text.pl | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Master/tlpkg/installer/install-menu-text.pl b/Master/tlpkg/installer/install-menu-text.pl index 9df0c5c4b96..bd3d855a0a2 100755 --- a/Master/tlpkg/installer/install-menu-text.pl +++ b/Master/tlpkg/installer/install-menu-text.pl @@ -821,7 +821,6 @@ EOF if (!$vars{'from_dvd'}) { print <<"EOF"; - Detected platform: $this_platform $warn_nobin <B> binary systems: $vars{'n_systems_selected'} out of $vars{'n_systems_available'} |