Repository navigation
Add crossref.numbering: external; sanction the Lua functions external front ends already call as globals - #14913
Closed
gordonwoodhull wants to merge 6 commits into
Closed
gordonwoodhull wants to merge 6 commits into
gordonwoodhull wants to merge 6 commits into
Commits
Commits on Sep 18, 2026
- committed
- committed
- committed
- committed
- committed
- committed