Skip to content

Merge pull request #542 from metanorma/fix/toc-html-ordering #1053

Merge pull request #542 from metanorma/fix/toc-html-ordering

Merge pull request #542 from metanorma/fix/toc-html-ordering #1053