aboutsummaryrefslogtreecommitdiff
path: root/docs/extensions
AgeCommit message (Expand)AuthorFilesLines
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