Skip to content

Reword "Everywhere" search scope to "All docs"#3776

Merged
zenoachtig merged 1 commit intomainfrom
reword-everywhere-scope-to-all-docs
Nov 3, 2025
Merged

Reword "Everywhere" search scope to "All docs"#3776
zenoachtig merged 1 commit intomainfrom
reword-everywhere-scope-to-all-docs

Commits

Commits on Oct 30, 2025