summaryrefslogtreecommitdiffstats
path: root/documentation/dev-manual/intro.rst
Commit message (Expand)AuthorAgeFilesLines
* dev-manual: remove 'dev-manual' from filenamesNicolas Dechesne2020-12-091-0/+59