Skip to content

Make heading IDs local to page#437

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

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

Make heading IDs local to page

f2575ab
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs