Commit graph

2 commits

Author SHA1 Message Date
Michael Banck 9e6cd83f7b * debian/patches/coverage_binary.patch: Updated. 2018-01-24 07:03:28 +01:00
Michael Banck e8c96dcfd8 * debian/patches/coverage_binary.patch: New patch, corrects the name of the
coverage binary.
2017-09-15 15:24:01 +02:00