aboutsummaryrefslogtreecommitdiff
path: root/dev
diff options
context:
space:
mode:
authorThéo Zimmermann2020-04-02 12:21:43 +0200
committerThéo Zimmermann2020-04-03 22:18:46 +0200
commit8215466a316a94589251fb0156586d68ea8b5c38 (patch)
treed349589d7f8f98f08ab4c801311c7c037a7e98d2 /dev
parentc5c8ce135606f311834d4c0b9ac3e72be5ee4a36 (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