summaryrefslogtreecommitdiff
path: root/trafgen/.gitignore
diff options
context:
space:
mode:
authorTobias Klauser <tklauser@distanz.ch>2016-04-29 15:48:34 +0200
committerTobias Klauser <tklauser@distanz.ch>2016-04-29 16:15:52 +0200
commit8a02953bd666fb4b6437cfe272c321b0b6023848 (patch)
treed890aa95a327350e68e02998ef9ea9e843f8d1a1 /trafgen/.gitignore
parent46952c9e60d7e116a7072a13c6590130eacbd423 (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