Skip to content

Exclude symbols from auto-generated heading identifiers - #181

Merged
dereuromark merged 1 commit into
masterfrom
fix/heading-id-exclude-symbols
May 19, 2026
Merged

Exclude symbols from auto-generated heading identifiers#181
dereuromark merged 1 commit into
masterfrom
fix/heading-id-exclude-symbols

Exclude symbols from auto-generated heading identifiers

54c38a7
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded May 19, 2026 in 1s

100.00% of diff hit (target 91.08%)

View this Pull Request on Codecov

100.00% of diff hit (target 91.08%)

View more details on Codecov