diff options
-rw-r--r--[-rwxr-xr-x] | Master/tlpkg/installer/install-menu-text.pl | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/Master/tlpkg/installer/install-menu-text.pl b/Master/tlpkg/installer/install-menu-text.pl index 586bcbb69ed..586bcbb69ed 100755..100644 --- a/Master/tlpkg/installer/install-menu-text.pl +++ b/Master/tlpkg/installer/install-menu-text.pl |