Fix issue #610 - odoc html-fragment
not producing headings correctly#1306
Merged
jonludlam merged 2 commits intoocaml:masterfrom jonludlam:fix-610Feb 25, 2025
+17-2
Commits
Commits on Feb 25, 2025
- committed
- committed