summaryrefslogtreecommitdiff
path: root/bin/x86_64-linux/latex-dev-dev
AgeCommit message (Collapse)Author
2021-11-09rename latex-dev-dev to devlatexNorbert Preining
2021-11-09Trial adding pdftex-devNorbert Preining