Skip to content

Rewrote small_caps check (and a minor case_mapping improvement)#4721

Closed
yanone wants to merge 2 commits intomainfrom
rework-smallcaps-check
Closed

Rewrote small_caps check (and a minor case_mapping improvement)#4721
yanone wants to merge 2 commits intomainfrom
rework-smallcaps-check

Commits

Commits on Sep 10, 2024