feat: rename search_and_replace tool to edit and unify edit-family UI#11296
Open
hannesrudolph wants to merge 11 commits intomainfrom
Open
feat: rename search_and_replace tool to edit and unify edit-family UI#11296hannesrudolph wants to merge 11 commits intomainfrom
hannesrudolph wants to merge 11 commits intomainfrom
Commits
Commits on Feb 10, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed