Closed kandu closed 5 years ago
This PR is based on the discussion in issue #15. The max sectioning level allowed in odoc is 5, so I take this opportunity to fix it.
hmm, the commit history looks not clean enough. I'll reopen a PR.
This PR is based on the discussion in issue #15. The max sectioning level allowed in odoc is 5, so I take this opportunity to fix it.