summaryrefslogtreecommitdiff
path: root/Master/tlpkg/tlpsrc/texdef.tlpsrc
AgeCommit message (Expand)Author
2017-08-10latexdef link needed (dbitouze mail 10 Aug 2017 19:18:56)Karl Berry
2012-05-12use ${PKGNAME}Karl Berry
2011-03-21new script texdef (6mar11)Karl Berry