diff options
Diffstat (limited to 'doc/pl/autogen/user/exec_options.asciidoc')
| -rw-r--r-- | doc/pl/autogen/user/exec_options.asciidoc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/pl/autogen/user/exec_options.asciidoc b/doc/pl/autogen/user/exec_options.asciidoc index a800e72bf..c55d6a87f 100644 --- a/doc/pl/autogen/user/exec_options.asciidoc +++ b/doc/pl/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* ** opis: `kolor tekstu dla flagi zakończonej komendy na liście komend` ** typ: kolor |