Ebrahim Byagowi 7daa2822f6 Add Travis based Coverity trigger (#778)		2018-02-12 11:27:00 +03:30
..
deploy-docs.sh	[ci] Sort out Travis configuration	2017-12-07 01:03:20 +02:00
run-coveralls.sh	[ci] Sort out Travis configuration	2017-12-07 01:03:20 +02:00
trigger-coverity.sh	Add Travis based Coverity trigger (#778)	2018-02-12 11:27:00 +03:30