odoc/test/xref2/github_issue_342.t/ at main · jon.recoil.org/odoc

jon.recoil.org / odoc

this repo has no description

odoc / test / xref2 / github_issue_342.t /

at main 2 files

Allow link and references in headers The link are displayed as regular text in the table of content. There is a bug with unresolved reference in heading.

3 years ago

Implement a global sidebar

2 years ago