summaryrefslogtreecommitdiff
path: root/gnu/dist/texinfo/util/tex3patch
AgeCommit message (Expand)Author
1999-02-11Import texinfo 3.12.tv