Skip to content

Rename effort tiers in Search Mode - #100

Merged
CShorten merged 1 commit into
mainfrom
rename-effort-tiers
Aug 9, 2026
Merged

Rename effort tiers in Search Mode#100
CShorten merged 1 commit into
mainfrom
rename-effort-tiers