diff options
| author |  wm4 <wm4@nowhere> | 2017-12-01 21:01:40 +0100 |
|---|---|---|
| committer | wm4 <wm4@nowhere> | 2017-12-01 21:01:40 +0100 |
| commit | 43af055a70a7b604e1e936575213aa561ac915d1 (patch) | |
| tree | 5ad71fed4edf21a9b3154e0f2ac6ea3deb58754b /.gitignore | |
| parent | 8b141ab9aca946da99ad17e442020672b664c8b4 (diff) | |
options: rename empty string special case for option values
"--bla" behaved differently from "--bla=". Change this, in line with how
options have been changed in general over the last few years.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions