summaryrefslogtreecommitdiff
path: root/Master/bin/i386-linux/platex-dev
AgeCommit message (Expand)Author
2019-11-15use e[u]ptex for [u]platex-dev as stated in the AddFormat directivs, not [u]ptexKarl Berry
2019-07-26(u)platex-dev, and non-LaTeX TEXINPUTS should also prefer latex/ to latex-devKarl Berry