Skip to content

Make heading IDs local to page#437

Open
peterjeschke wants to merge 1 commit intoghostty-org:mainfrom
peterjeschke:patch-1
Open

Make heading IDs local to page#437
peterjeschke wants to merge 1 commit intoghostty-org:mainfrom
peterjeschke:patch-1

Commits

Commits on Mar 10, 2026