Commit graph

1 commit

Author SHA1 Message Date
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