diff options
| author | Ricardo Constantino <wiiaboo@gmail.com> | 2017-07-19 19:03:08 +0100 |
|---|---|---|
| committer | Ricardo Constantino <wiiaboo@gmail.com> | 2017-07-19 19:03:08 +0100 |
| commit | e0739378ddc15af9cdab94ddfb4035ba52756b7d (patch) | |
| tree | 314e0000660818d136ed97695c37efaffb93a3d5 /DOCS | |
| parent | 9e124933e55f86992b1079aa6c1985bbe6721a28 (diff) | |
| download | mpv-e0739378ddc15af9cdab94ddfb4035ba52756b7d.tar.bz2 mpv-e0739378ddc15af9cdab94ddfb4035ba52756b7d.tar.xz | |
travis: trigger website rebuild on VERSION changes too
Needed to update the stable manual if no DOCS were changed.
Diffstat (limited to 'DOCS')
0 files changed, 0 insertions, 0 deletions