3 commits

Author	SHA1	Message	Date
Michael Banck	ce1da1ca62	* debian/patches/coverage_binary.patch: Refreshed. ... * debian/patches/startup_scripts.patch: Likewise.	2018-09-21 11:18:33 +02:00
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