diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-05-19 16:00:10 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-19 09:00:10 -0500 |
commit | 29aac1b9d886e245a7b5cd2122d7b80fa230152d (patch) | |
tree | 8aded44a7f48ea7ba4822025f8b8178cef249d97 | |
parent | 6dc5b7469cee015a3bcf25a1543123da6c8317fe (diff) |
Remove accidental print (#6568)
-rw-r--r-- | src/options/mkoptions.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/options/mkoptions.py b/src/options/mkoptions.py index 4cc814a61..a7212641c 100644 --- a/src/options/mkoptions.py +++ b/src/options/mkoptions.py @@ -366,7 +366,6 @@ class SphinxGenerator: res.append(val.format(opt['help'])) if opt['modes']: - print(opt['modes']) res.append(val.format('')) res.append(val.format(opt['help_mode'])) res.append(val.format('')) |