Skip to content

Add section-header-num option#464

Merged
noborus merged 2 commits intomasterfrom section-header-numDec 23, 2023

Commits

Commits on Nov 5, 2023

Commits on Dec 23, 2023