diff options
author | Karl Berry <karl@freefriends.org> | 2019-07-26 21:46:02 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-07-26 21:46:02 +0000 |
commit | 1417094ce7f2a1cb3a51315b946479bf395d22ab (patch) | |
tree | 1d8cdabd5ee388419a48a2ba0ce703a5be7335e5 /Master/bin/win32 | |
parent | 88911d6d843d6bf9e7524c2dfc20d4dcaae67d70 (diff) |
(u)platex-dev, and non-LaTeX TEXINPUTS should also prefer latex/ to latex-dev
git-svn-id: svn://tug.org/texlive/trunk@51747 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/win32')
-rwxr-xr-x | Master/bin/win32/platex-dev.exe | bin | 0 -> 1536 bytes |
-rwxr-xr-x | Master/bin/win32/uplatex-dev.exe | bin | 0 -> 1536 bytes |
2 files changed, 0 insertions, 0 deletions
diff --git a/Master/bin/win32/platex-dev.exe b/Master/bin/win32/platex-dev.exe Binary files differnew file mode 100755 index 00000000000..2af722555b9 --- /dev/null +++ b/Master/bin/win32/platex-dev.exe diff --git a/Master/bin/win32/uplatex-dev.exe b/Master/bin/win32/uplatex-dev.exe Binary files differnew file mode 100755 index 00000000000..3707da755ee --- /dev/null +++ b/Master/bin/win32/uplatex-dev.exe |