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