Repository navigation
馃悰 FIX: sorting of mixed manual/auto-numbered footnotes - #1178
Open
Sanjays2402 wants to merge 1 commit into
Open
Sanjays2402 wants to merge 1 commit into
Sanjays2402 wants to merge 1 commit into
Commits
Commits on Jul 26, 2026