Skip to content

Remove a dead constant, ground the rest in measurement - #22

Merged
josephfeleke merged 3 commits into
mainfrom
constants-audit
Sep 19, 2026
Merged

Remove a dead constant, ground the rest in measurement#22
josephfeleke merged 3 commits into
mainfrom
constants-audit

Restore the foreign-verb scan's narrower window

d9f113c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar