diff options
author | Michael F. Schönitzer <michael@schoenitzer.de> | 2020-09-16 03:01:36 +0200 |
---|---|---|
committer | cgzones <cgzones@googlemail.com> | 2020-09-18 12:04:21 +0200 |
commit | 1061bd719aa2e6762958c59bdf88aa3ee961999c (patch) | |
tree | fede480573ce4ae62686d195480ff365477df24b /Panel.h | |
parent | 40441dca8e22f30297b45f78a58013e9face3935 (diff) |
Change option '-m' to '-M' for consistency of cli
`-m` was added as short option for `--no-mouse`, this is inconsistence
to the rest of the cli since otherwise the short options to disable a
feature are capital letters. Therefore this commit renames the option to
`-M`.
This commit also documents the option in the man page.
Diffstat (limited to 'Panel.h')
0 files changed, 0 insertions, 0 deletions