diff options
| author | wm4 <wm4@nowhere> | 2019-11-25 20:25:20 +0100 |
|---|---|---|
| committer | wm4 <wm4@nowhere> | 2019-11-25 20:29:43 +0100 |
| commit | 7c6570402bb203a1f1deb5b76807a9c021f47e82 (patch) | |
| tree | 3e1e8411dba9fe8469ca9c9aedddb6721b59cb33 /video/out | |
| parent | 78bb1586d34bcd0cf89267d9447a9cef6ef29761 (diff) | |
| download | mpv-7c6570402bb203a1f1deb5b76807a9c021f47e82.tar.bz2 mpv-7c6570402bb203a1f1deb5b76807a9c021f47e82.tar.xz | |
options: remove options-to-property bridge
The previous bunch of commits made this unnecessary, so this should be
a purely internal change with no user impact.
This may or may not open the way to future improvements. Even if not,
at least the property/option interaction should now be much less buggy.
Diffstat (limited to 'video/out')
0 files changed, 0 insertions, 0 deletions