summaryrefslogtreecommitdiff
path: root/backport_texinfo.sh
AgeCommit message (Expand)AuthorFilesLines
2015-12-12New and simplified organisation of backporting scriptsranke1-42/+0
2015-04-16Add backport script of texinfo, as we need a version containing texi2anyranke1-0/+42

Contact - Imprint