Skip to content

Elide toolConfig block when no tools in content.#189

Merged
DavidSouther merged 1 commit intomainfrom
elide_toolconfig
Jun 17, 2025
Merged

Elide toolConfig block when no tools in content.#189
DavidSouther merged 1 commit intomainfrom
elide_toolconfig

Conversation

@DavidSouther
Copy link
Copy Markdown
Owner

No description provided.

@DavidSouther DavidSouther merged commit 1dc02f3 into main Jun 17, 2025
6 checks passed
@DavidSouther DavidSouther deleted the elide_toolconfig branch June 17, 2025 14:47
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.

2 participants