diff options
| author | Dudemanguy <random342@airmail.cc> | 2024-01-20 16:17:08 -0600 |
|---|---|---|
| committer | Dudemanguy <random342@airmail.cc> | 2024-01-20 23:24:48 +0000 |
| commit | a39f9b6181ee54732050d64540703ca2e2c90a8d (patch) | |
| tree | f1fd47d034c4bf9792f5097b890703fd044f272c /.gitignore | |
| parent | 5871ba8f3e7e728d2efcbfdbe1d67059f8feca4d (diff) | |
| download | mpv-a39f9b6181ee54732050d64540703ca2e2c90a8d.tar.bz2 mpv-a39f9b6181ee54732050d64540703ca2e2c90a8d.tar.xz | |
player: remove --term-remaining-playtime option
This wasn't useful and didn't even really do what it said anyway.
Closes #12167.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions