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