summaryrefslogtreecommitdiffstats
path: root/documentation/ref-manual/index.rst
AgeCommit message (Expand)Author
2020-12-09ref-manual: remove 'ref' from filenamesNicolas Dechesne
2020-12-09sphinx: rename top level document in each manualNicolas Dechesne