Skip to content

V0.96.10#435

Merged
dwash96 merged 12 commits intomainfrom
v0.96.10
Feb 8, 2026
Merged

V0.96.10#435
dwash96 merged 12 commits intomainfrom
v0.96.10

Conversation

@dwash96
Copy link
Owner

@dwash96 dwash96 commented Feb 7, 2026

Addresses:

Includes:

  • Simplify line based editing tools (InsertText and DeleteText) to work off of pure line numbers
  • Make Grep tool capable of multi-searching
  • Speed up git ignored file checking by a factor of ~100
  • Speed up file mention checking due to the above
  • Small tool error mitigations

@dwash96 dwash96 merged commit 79c448c into main Feb 8, 2026
13 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant

Comments