[Heimdal-source-changes] [heimdal/heimdal] 354d76: Improve coverage script a bit

[Nico Williams]

  Branch: refs/heads/master
  Home:   https://github.com/heimdal/heimdal
  Commit: 354d76f63a045c8de5b838065f745757331a57fc
      https://github.com/heimdal/heimdal/commit/354d76f63a045c8de5b838065f745757331a57fc
  Author: Nicolas Williams <nico at twosigma.com>
  Date:   2020-04-15 (Wed, 15 Apr 2020)

  Changed paths:
    M .travis.yml
    M tools/coveralls-tool

  Log Message:
  -----------
  Improve coverage script a bit