summaryrefslogtreecommitdiffstats
path: root/documentation/dev-manual/index.rst
Commit message (Expand)AuthorAgeFilesLines
* dev-manual: remove 'dev-manual' from filenamesNicolas Dechesne2020-12-091-4/+4
* sphinx: rename top level document in each manualNicolas Dechesne2020-12-091-0/+19