Skip to content

Align heading-id slugs with jgm/djot#393; pluggable ASCII-folding extension - #224

Merged
dereuromark merged 6 commits into
masterfrom
fix/spec-heading-ids
Jun 6, 2026
Merged

Align heading-id slugs with jgm/djot#393; pluggable ASCII-folding extension#224
dereuromark merged 6 commits into
masterfrom
fix/spec-heading-ids

Commits

Commits on Jun 6, 2026