Code

Enable coverity#265

Code

Merged

simonharrer merged 4 commits intomasterJabRef/jabref:masterfrom enable-coverityJabRef/jabref:enable-coverityCopy head branch name to clipboardNov 10, 2015

+16-1

Commits

Commits on Nov 10, 2015

• Enable coverity

  simonharrer

  committed
  9f035c2

• Use workaround version of coveralls

  simonharrer

  committed
  522e5a6

• Only execute coverity on CI server

  simonharrer

  committed
  31ffd25

• coveralls.io does not work anymore with our repo

  simonharrer

  committed
  53dc249