diff options
Diffstat (limited to 'Build/source/texk/texlive/mex.bat')
-rwxr-xr-x | Build/source/texk/texlive/mex.bat | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Build/source/texk/texlive/mex.bat b/Build/source/texk/texlive/mex.bat deleted file mode 100755 index 38002e6e9e7..00000000000 --- a/Build/source/texk/texlive/mex.bat +++ /dev/null @@ -1,2 +0,0 @@ -@echo off
-tex -fmt=mex %1 %2 %3 %4 %5 %6 %7 %8 %9
|