Skip to content

Fix jump to ToC for nested headers#4281

Merged
zadam merged 1 commit intozadam:masterfrom zerebos:jump-to-tocSep 25, 2023

Commits

Commits on Sep 22, 2023