aboutsummaryrefslogtreecommitdiffstats
path: root/coverity/jenkins.sh
AgeCommit message (Expand)AuthorFilesLines
2018-01-22cosmetic: remove wrapper scriptMax1-2/+38
2016-10-01coverity: add jenkins.sh as explicit build server entry pointNeels Hofmeyr1-0/+2