diff options
author | pavelxdd <pavel.otchertsov@gmail.com> | 2017-12-11 21:40:01 +0300 |
---|---|---|
committer | Jan Ekström <jeebjp@gmail.com> | 2017-12-11 21:56:20 +0200 |
commit | 3f127448e8f2e85a5063ff5b37487a896fa4f6c7 (patch) | |
tree | 69fea7b961a2185853c517ca640e0843e75c8d7b /.github | |
parent | 6a85f9bf74b76954f5da433087c29ce6640c71d5 (diff) | |
download | mpv-3f127448e8f2e85a5063ff5b37487a896fa4f6c7.tar.bz2 mpv-3f127448e8f2e85a5063ff5b37487a896fa4f6c7.tar.xz |
options: don't report errors on help value for OPT_FLAG
The same idea as in 3723e61 but for OPT_FLAG now.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions