diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2018-08-29 11:02:14 +0200 |
|---|---|---|
| committer | MarcoFalke <falke.marco@gmail.com> | 2018-09-05 14:39:36 -0400 |
| commit | 2936dbc557084be1b0cc16d73250a9f220871062 (patch) | |
| tree | 4582b21178ae45ca6ceab9c5e64f99d97da04fb9 /test/lint/lint-format-strings.py | |
| parent | 2307a6eb2b9dbc4fd4c50f5463db5d79d32f6caf (diff) | |
doc: Change documentation for =0 for non-boolean options
PR #12713 changed the interpretation for negation of non-boolean options
(e.g. -noconnect) to no longer set the option to 0, but to remove it
from the options.
I think this is better because it gets rid of the special meaning of
'0'.
However it needs to be documented. I attempt to do so in this PR.
Addreses #14064.
Github-Pull: #14100
Rebased-From: e9a78e9b3b17e09f923f09c5aae0eda9dfd58e66
Diffstat (limited to 'test/lint/lint-format-strings.py')
0 files changed, 0 insertions, 0 deletions