summaryrefslogtreecommitdiff
path: root/Master/bin/aarch64-linux/platex-dev
AgeCommit message (Expand)Author
2019-07-26(u)platex-dev, and non-LaTeX TEXINPUTS should also prefer latex/ to latex-devKarl Berry