Khaled Hosny 23d21a74b5 Move collect_logs to .ci dir ... Next to other CI scripts.		2018-02-15 10:11:57 +02:00
..
collect-logs.sh	Move collect_logs to .ci dir	2018-02-15 10:11:57 +02:00
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