Specify the project name for coverity, trying to fix #785
authorEbrahim Byagowi <ebrahim@gnu.org>
Tue, 13 Feb 2018 11:42:43 +0000 (15:12 +0330)
committerGitHub <noreply@github.com>
Tue, 13 Feb 2018 11:42:43 +0000 (15:12 +0330)
commit7caddb51b1e69a2803f86756e2ce2acff685c7d0
tree1e113a444163fa0a5221e7aa3612f2b59d3e54a0
parentb969a82e30f0ff7bf6b2ea2600ef170764774a8c
Specify the project name for coverity, trying to fix #785
.travis.yml