aboutsummaryrefslogtreecommitdiff
path: root/bootstrap
AgeCommit message (Expand)Author
2019-09-18use pre-built man and texinfo from docs.gitFlorian Dold
2015-01-08-initial import for mintChristian Grothoff