mirror of
https://github.com/mpv-player/mpv.git
synced 2026-10-23 03:18:35 +08:00
6bfbd4ebdc
Another very minor step towards property/option unification. Not bothering with interface compatibility here.