Skip to content

Merge pull request #574 from metanorma/fix/toc-bare #1213

Merge pull request #574 from metanorma/fix/toc-bare

Merge pull request #574 from metanorma/fix/toc-bare #1213