diff options
Diffstat (limited to 'doc/en/autogen/user/exec_options.asciidoc')
| -rw-r--r-- | doc/en/autogen/user/exec_options.asciidoc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/en/autogen/user/exec_options.asciidoc b/doc/en/autogen/user/exec_options.asciidoc index 598af7a00..531652eb7 100644 --- a/doc/en/autogen/user/exec_options.asciidoc +++ b/doc/en/autogen/user/exec_options.asciidoc @@ -1,3 +1,7 @@ +// +// This file is auto-generated by script docgen.py. +// DO NOT EDIT BY HAND! +// * [[option_exec.color.flag_finished]] *exec.color.flag_finished* ** description: `text color for a finished command flag in list of commands` ** type: color |