diff options
Diffstat (limited to 'Build/source/texk/tetex/old-fontinst.bat')
-rw-r--r-- | Build/source/texk/tetex/old-fontinst.bat | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Build/source/texk/tetex/old-fontinst.bat b/Build/source/texk/tetex/old-fontinst.bat deleted file mode 100644 index fe9be9b7187..00000000000 --- a/Build/source/texk/tetex/old-fontinst.bat +++ /dev/null @@ -1,2 +0,0 @@ -@echo off
-tex -progname=fontinst -fmt=tex %1 %2 %3 %4 %5 %6 %7 %8 %9
|