commit | 440aa2d120920d7d8ca01d0701f876e1ecd9bf90 | [log] [download] |
---|---|---|
author | Paul Bakker <p.j.bakker@polarssl.org> | Tue May 06 10:34:42 2014 +0200 |
committer | Paul Bakker <p.j.bakker@polarssl.org> | Tue May 06 10:34:42 2014 +0200 |
tree | f4fea2591bb8f54ba1bb1f4593b993634cd45320 | |
parent | 5593f7caae04feb3870f519e425ee5a49ce60470 [diff] |
Fix to Coverity config in Travis-CI