diff options
Diffstat (limited to 'doc/it/autogen/user/exec_options.asciidoc')
| -rw-r--r-- | doc/it/autogen/user/exec_options.asciidoc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/it/autogen/user/exec_options.asciidoc b/doc/it/autogen/user/exec_options.asciidoc index ff844f3b5..491906211 100644 --- a/doc/it/autogen/user/exec_options.asciidoc +++ b/doc/it/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* ** descrizione: `text color for a finished command flag in list of commands` ** tipo: colore |