Fix: coverage configuration

This commit is contained in:
2015-09-11 08:50:10 +00:00
parent d5103f7719
commit e68f747179
6 changed files with 7 additions and 4 deletions