Skip to content

Rename effort tiers in Search Mode - #100

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

CShorten merged 1 commit into
mainfrom
rename-effort-tiers

Commits

Commits on Aug 7, 2026