Skip to content

Treat section titles as cross-reference targets#80

Merged
bbatsov merged 1 commit into
masterfrom
section-auto-ids
Jun 5, 2026
Merged

Treat section titles as cross-reference targets#80
bbatsov merged 1 commit into
masterfrom
section-auto-ids

Commits

Commits on Jun 5, 2026