Closed Julow closed 3 years ago
The first commit fix an inconsistency in the rendering: the odoc-nav element was missing in index pages and the emdash was replaced with a regular dash.
odoc-nav
The second commit add a test for the feature. Is there something missing ?
The first commit fix an inconsistency in the rendering: the
odoc-nav
element was missing in index pages and the emdash was replaced with a regular dash.The second commit add a test for the feature. Is there something missing ?