| commit | 7daa2822f6320801dfed09782ae46687e7c8cbb3 | [log] [tgz] |
|---|---|---|
| author | Ebrahim Byagowi <[email protected]> | Mon Feb 12 11:27:00 2018 +0330 |
| committer | GitHub <[email protected]> | Mon Feb 12 11:27:00 2018 +0330 |
| tree | c1a0dac66771acd7d96c3c36650ddd19a2952fb2 | |
| parent | 7747bdb11b0635738a14c099bfaf58461cadd79a [diff] |
Add Travis based Coverity trigger (#778)