summaryrefslogtreecommitdiff
path: root/Build/extra
AgeCommit message (Expand)Author
2018-09-16epstopdf 2.28: PDF 1.5 by default, since gs9.25 changed to 1.7Karl Berry
2018-01-23move source/extra up a level to Build/extra, to clarify that they are not par...Karl Berry