diff options
Diffstat (limited to 'Master/bin/win32/tlmgr1.bat')
| -rwxr-xr-x | Master/bin/win32/tlmgr1.bat | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/Master/bin/win32/tlmgr1.bat b/Master/bin/win32/tlmgr1.bat deleted file mode 100755 index fe949613d7c..00000000000 --- a/Master/bin/win32/tlmgr1.bat +++ /dev/null @@ -1,8 +0,0 @@ -@echo off
-rem tl-w32-starter.bat
-rem universal script starter, batch file part
-rem this program calls the tl-w32-wrapper.texlua
-setlocal
-set ownpath=%~dp0%
-texlua "%ownpath%tl-w32-wrapper.texlua" "%~dpn0" %*
-endlocal
|