diff options
| author | Théo Zimmermann | 2020-04-02 12:21:43 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-04-03 22:18:46 +0200 |
| commit | 8215466a316a94589251fb0156586d68ea8b5c38 (patch) | |
| tree | d349589d7f8f98f08ab4c801311c7c037a7e98d2 /dev | |
| parent | c5c8ce135606f311834d4c0b9ac3e72be5ee4a36 (diff) | |
Improve error messages for Set and Unset commands.
In particular, the error messages do not mention anymore the notion of
bool-valued options, since these are documented as flags and work
quite differently from the rest of options.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions
