agent: Remove edit_files tool (#28041)

Release Notes:

- agent: Remove `edit_files` tool  in favor of `find_replace`
This commit is contained in:
Agus Zubiaga 2025-04-04 13:37:14 -03:00 committed by GitHub
parent 1bc5618f61
commit cc9cc12f7b
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
8 changed files with 0 additions and 2103 deletions

View file

@ -16,7 +16,6 @@ anyhow.workspace = true
assistant_tool.workspace = true
chrono.workspace = true
collections.workspace = true
feature_flags.workspace = true
futures.workspace = true
gpui.workspace = true
html_to_markdown.workspace = true
@ -24,19 +23,14 @@ http_client.workspace = true
itertools.workspace = true
language.workspace = true
language_model.workspace = true
log.workspace = true
lsp.workspace = true
project.workspace = true
regex.workspace = true
release_channel.workspace = true
schemars.workspace = true
serde.workspace = true
serde_json.workspace = true
settings.workspace = true
theme.workspace = true
ui.workspace = true
util.workspace = true
workspace.workspace = true
worktree.workspace = true
open = { workspace = true }
workspace-hack.workspace = true