diff options
| author | cperry-goog <[email protected]> | 2025-05-15 20:43:01 -0700 |
|---|---|---|
| committer | GitHub <[email protected]> | 2025-05-15 20:43:01 -0700 |
| commit | 59e8fcb4096b2f4f3841150035aa995aaebc0e97 (patch) | |
| tree | a7aeb2b10af0a9fe4f203f7c4b68a33453a1bae9 /docs/tools/shell.md | |
| parent | 58ef39e2a964386a1026ba68419e4d64c4612551 (diff) | |
Docs: Fix broken links and update documentation (#377)
Diffstat (limited to 'docs/tools/shell.md')
| -rw-r--r-- | docs/tools/shell.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/tools/shell.md b/docs/tools/shell.md index 6715cfa9..5b8e8c9d 100644 --- a/docs/tools/shell.md +++ b/docs/tools/shell.md @@ -1,6 +1,6 @@ # Shell Tool -This document provides details on the shell tool available. +This document provides details on the shell tool. ## `execute_bash_command` |