Skip to content

Heading ids: lowercase (GitHub-style) default + opt-in ASCII fold - #68

Merged
dereuromark merged 2 commits into
mainfrom
feat/heading-ids-lowercase
Jun 7, 2026
Merged

Heading ids: lowercase (GitHub-style) default + opt-in ASCII fold#68
dereuromark merged 2 commits into
mainfrom
feat/heading-ids-lowercase

Merge remote-tracking branch 'origin/main' into feat/heading-ids-lowe…

9bc8b8c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Code Coverage
succeeded Jun 7, 2026 in 32s