diff options
| author | Tobias Klauser <tklauser@distanz.ch> | 2016-04-29 15:48:34 +0200 |
|---|---|---|
| committer | Tobias Klauser <tklauser@distanz.ch> | 2016-04-29 16:15:52 +0200 |
| commit | 8a02953bd666fb4b6437cfe272c321b0b6023848 (patch) | |
| tree | d890aa95a327350e68e02998ef9ea9e843f8d1a1 /trafgen/.gitignore | |
| parent | 46952c9e60d7e116a7072a13c6590130eacbd423 (diff) | |
doc: Document Travis CI Coverity integration
Update README.devel with information about the Travis CI Coverity
integration.
Signed-off-by: Tobias Klauser <tklauser@distanz.ch>
Diffstat (limited to 'trafgen/.gitignore')
0 files changed, 0 insertions, 0 deletions