Skip to content

Number footnotes by reference order, and carry source positions - #4

Merged
elementmerc merged 1 commit into
mainfrom
fix/footnote-numbers-and-source-positions
Jun 15, 2026
Merged

elementmerc merged 1 commit into
mainfrom
fix/footnote-numbers-and-source-positions

Number footnotes by reference order, and carry source positions

e44958f
Select commit
Loading
Failed to load commit list.