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