aboutsummaryrefslogtreecommitdiff
path: root/doc/manual/src/hacking.md
AgeCommit message (Expand)Author
2020-09-27doc/manual: update hacking docs (#4078)Maximilian Bosch
2020-09-01hacking.md: add --prefix flag to configureCole Helbling
2020-08-31Merge remote-tracking branch 'origin/master' into markdownEelco Dolstra
2020-07-31Enable syntax highlightingEelco Dolstra
2020-07-23Pandoc conversionEelco Dolstra