summaryrefslogtreecommitdiff
path: root/bootstrap
AgeCommit message (Expand)Author
2019-10-05check for git firstChristian Grothoff
2019-10-05add uncrustify pre-commit hookChristian Grothoff
2019-09-26fix bootstrap orderChristian Grothoff
2019-09-18use pre-built man and texinfo from docs.gitFlorian Dold
2015-01-08-initial import for mintChristian Grothoff