aboutsummaryrefslogtreecommitdiff
path: root/docs/extensions/refman_links.py
AgeCommit message (Expand)AuthorFilesLines
2022-10-23Fix typos in docsElliott Sales de Andrade1-1/+1
2022-06-27docs: make the refman linkification slightly prettier for codeblocksEli Schwartz1-3/+6
2021-10-03docs: Use a custom hotdoc extension for links to RefManDaniel Mensinger1-0/+108