diff options
author | Pali Rohár <pali.rohar@gmail.com> | 2018-02-26 13:10:35 +0100 |
---|---|---|
committer | Pali Rohár <pali.rohar@gmail.com> | 2018-02-26 13:10:35 +0100 |
commit | 9e5646d30e237879bfdf1d1396c95d330381dc4f (patch) | |
tree | 662f1f132d050f2bbfafe695f6ed6dec179b6376 /src/local.h | |
parent | 33442482c65acf3805d24b76b3567ec97c2492ef (diff) | |
download | 0xFFFF-9e5646d30e237879bfdf1d1396c95d330381dc4f.tar.bz2 |
travis: Do not run Coverity Scan jobs on non-master branches and in pull requests
Diffstat (limited to 'src/local.h')
0 files changed, 0 insertions, 0 deletions