summaryrefslogtreecommitdiff
path: root/_exts
AgeCommit message (Expand)Author
2019-08-29fix body role for search to workFlorian Dold
2019-08-29layout tweaksFlorian Dold
2019-08-29layout tweaksFlorian Dold
2019-08-29fix typescript links in non-root docsFlorian Dold
2019-08-29texinfo supportFlorian Dold
2019-08-29structureFlorian Dold