diff options
Diffstat (limited to 'Master')
| -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 0da5b74b037..cbc9bb8e1eb 100755 --- a/Master/tlpkg/installer/install-menu-text.pl +++ b/Master/tlpkg/installer/install-menu-text.pl @@ -776,7 +776,7 @@ sub main_menu { =======> Note: Letters/digits in <angle brackets> indicate menu items <======= =======> for commands or configurable options <======= - Proposed platform: $this_platform + Detected platform: $this_platform $warn_nobin <B> binary systems: $vars{'n_systems_selected'} out of $vars{'n_systems_available'} |