chore: rm broken codesearch tool (#24992)

2026-04-29 13:15:44 -05:00
parent 00bb9836a6
commit 6aa8e894b1
74 changed files with 22 additions and 281 deletions
@@ -96,7 +96,6 @@ export const dict = {
  "ui.tool.grep": "Grep",
  "ui.tool.webfetch": "ดึงจากเว็บ",
  "ui.tool.websearch": "ค้นหาเว็บ",
-  "ui.tool.codesearch": "ค้นหาโค้ด",
  "ui.tool.shell": "เชลล์",
  "ui.tool.patch": "แพตช์",
  "ui.tool.todos": "รายการงาน",