Markus Reiter 759ee585d5 Merge pull request #1089 from reitermarkus/coverage
Fix coverage reporting.
2016-09-23 10:33:42 +02:00
..
2016-08-21 05:07:38 +02:00
2016-09-23 09:17:55 +02:00
2016-09-23 09:17:55 +02:00
2016-08-13 03:33:34 +01:00
2016-09-19 23:00:58 +01:00
2016-09-19 21:03:55 +01:00