Skip to content

Normalize HTML anchor names for citations#95

Merged
goerz merged 3 commits intomasterfrom
86-anchor-escape
May 26, 2025
Merged

Normalize HTML anchor names for citations#95
goerz merged 3 commits intomasterfrom
86-anchor-escape

Commits

Commits on May 25, 2025