diff options
| author | Ricardo Constantino <wiiaboo@gmail.com> | 2017-06-21 14:47:36 +0100 |
|---|---|---|
| committer | Ricardo Constantino <wiiaboo@gmail.com> | 2017-06-21 14:47:36 +0100 |
| commit | 9ce0cb2c59c7c577e31a1cef96546c0a7c9c6c0b (patch) | |
| tree | 1dcb78b3e72f51760100e6fa7af55b52fb6aca01 /demux | |
| parent | 856fb767f1c7bae6e8f6e8673bd55a848f804e40 (diff) | |
| download | mpv-9ce0cb2c59c7c577e31a1cef96546c0a7c9c6c0b.tar.bz2 mpv-9ce0cb2c59c7c577e31a1cef96546c0a7c9c6c0b.tar.xz | |
man/options: correct --{sub,osd}-font examples
Comic Sans is a good font that did nothing wrong.
Diffstat (limited to 'demux')
0 files changed, 0 insertions, 0 deletions