diff options
Diffstat (limited to 'runtime/doc/usr_10.txt')
| -rw-r--r-- | runtime/doc/usr_10.txt | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/runtime/doc/usr_10.txt b/runtime/doc/usr_10.txt index 4398c4d64f..c1f62f4494 100644 --- a/runtime/doc/usr_10.txt +++ b/runtime/doc/usr_10.txt @@ -747,7 +747,6 @@ check the values of these options: 'shellcmdflag' argument to pass a command to the shell 'shellquote' quote to be used around the command 'shellxquote' quote to be used around the command and redirection - 'shelltype' kind of shell (only for the Amiga) 'shellslash' use forward slashes in the command (only for MS-Windows and alikes) 'shellredir' string used to write the command output into a file |