diff options
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` |