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

Treat section titles as cross-reference targets

0732498
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
test (28.1)
succeeded Jun 5, 2026 in 33s