diff options
Diffstat (limited to 'Master/texmf-dist/scripts/jmlr')
-rwxr-xr-x | Master/texmf-dist/scripts/jmlr/makejmlrbook.bat | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/Master/texmf-dist/scripts/jmlr/makejmlrbook.bat b/Master/texmf-dist/scripts/jmlr/makejmlrbook.bat deleted file mode 100755 index e9a9fe3bce6..00000000000 --- a/Master/texmf-dist/scripts/jmlr/makejmlrbook.bat +++ /dev/null @@ -1,3 +0,0 @@ -@rem = '-*- Perl -*-
-@echo off
-perl -S "%~dp0makejmlrbook" %*
|