doc: Document Travis CI Coverity integration
commit8a02953bd666fb4b6437cfe272c321b0b6023848
authorTobias Klauser <tklauser@distanz.ch>
Fri, 29 Apr 2016 13:48:34 +0000 (29 15:48 +0200)
committerTobias Klauser <tklauser@distanz.ch>
Fri, 29 Apr 2016 14:15:52 +0000 (29 16:15 +0200)
treed890aa95a327350e68e02998ef9ea9e843f8d1a1
parent46952c9e60d7e116a7072a13c6590130eacbd423
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>
README.devel