aboutsummaryrefslogtreecommitdiff
path: root/docs/refman/main.py
AgeCommit message (Expand)AuthorFilesLines
2021-10-03docs: Use a custom hotdoc extension for links to RefManDaniel Mensinger1-1/+2
2021-10-03docs: Added Markdown generatorDaniel Mensinger1-0/+3
2021-10-03docs: Added pickle generatorDaniel Mensinger1-1/+4
2021-10-03docs: Initial reference manual generatorDaniel Mensinger1-0/+68