summaryrefslogtreecommitdiffstats
path: root/documentation/dev-manual/index.rst
AgeCommit message (Expand)Author
2021-09-18manuals: delete unmaintained history sectionsMichael Opdenacker
2020-12-09dev-manual: remove 'dev-manual' from filenamesNicolas Dechesne
2020-12-09sphinx: rename top level document in each manualNicolas Dechesne