diff options
author | wm4 <wm4@nowhere> | 2014-11-21 01:46:25 +0100 |
---|---|---|
committer | wm4 <wm4@nowhere> | 2014-11-21 01:46:25 +0100 |
commit | e627168233970e3d307bed09bd4cc11fac0aaa9a (patch) | |
tree | 6f512cb2df34eeebd768fc4ee4ef41959e6197ff /video | |
parent | 00626817c8ac4e91f95141fdc7f8cf39c38f820d (diff) | |
download | mpv-e627168233970e3d307bed09bd4cc11fac0aaa9a.tar.bz2 mpv-e627168233970e3d307bed09bd4cc11fac0aaa9a.tar.xz |
travis: attempt to add Coverity integration
Not sure if this will work. Probably not, because it seems Coverity will
be missing some required dependencies.
Diffstat (limited to 'video')
0 files changed, 0 insertions, 0 deletions