diff options
| author | Duarte Duarte <dnpd.dd@gmail.com> | 2014-07-21 01:26:49 +0100 |
|---|---|---|
| committer | Duarte Duarte <dnpd.dd@gmail.com> | 2014-07-21 01:26:49 +0100 |
| commit | 3b49de24e9ef32f59d47c6ae9b52ef962723b4e5 (patch) | |
| tree | 83567bfe4cd5411391a48fa923c24b826810cd1b /src | |
| parent | 675f50f64cc11cd8cdd830298bb40b50f2d5a188 (diff) | |
Misc/Travis: Remove Coverity addon
It was a good idea but it doesn't work in pratice.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions