diff options
| author | DDuarte <dnpd.dd@gmail.com> | 2014-07-20 19:38:43 +0100 |
|---|---|---|
| committer | DDuarte <dnpd.dd@gmail.com> | 2014-07-20 19:38:43 +0100 |
| commit | e7f9df192c9ceaf2c0c53e9f5ba65c5dd2a14a79 (patch) | |
| tree | d07745aeea991945a6964dbd7a13b7d1de47991f /src | |
| parent | 7366102e8082b22c0e1f0aa64092c9b4c3648ce3 (diff) | |
Misc/Travis: Enable Travis in the coverity_scan branch & add coverity badge to readme
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions