diff options
author | wm4 <wm4@nowhere> | 2014-05-05 23:53:06 +0200 |
---|---|---|
committer | wm4 <wm4@nowhere> | 2014-05-05 23:56:01 +0200 |
commit | 7fb5df0d3e67230ec8f962c30ed36ea9b9c71ee7 (patch) | |
tree | e8ab2e3b10e9ec96a7d12b3a6db1ccaacdbe1467 /etc | |
parent | 7c01dee153fe8b7dabbc4ff8f206097f4191b48f (diff) | |
download | mpv-7fb5df0d3e67230ec8f962c30ed36ea9b9c71ee7.tar.bz2 mpv-7fb5df0d3e67230ec8f962c30ed36ea9b9c71ee7.tar.xz |
options: print replacement for renamed/replaced options
Basically, extract the option table from DOCS/man/en/changes.rst, and
search the table if an option wasn't found. If there's an entry about
it, print it. Hopefully this behavior is slightly more userfriendly.
This is strictly bound to option names. It doesn't work for option
values, nor does it attempt to emulate the old option.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions