summaryrefslogtreecommitdiffstats
path: root/documentation/dev-manual/intro.rst
Commit message (Expand)AuthorAgeFilesLines
* dev-manual: various pedantic nitpickeryRobert P. J. Day2021-09-041-12/+12
* dev-manual: remove 'dev-manual' from filenamesNicolas Dechesne2020-12-091-0/+59