summaryrefslogtreecommitdiff
path: root/debian/patches/0010-unneeded_doc.patch
AgeCommit message (Expand)Author
2020-02-15Remove unused files and patchesJörg Frings-Fürst
2016-12-10Migrate to debhelper 10Jörg Frings-Fürst
2015-10-13Rename & reorder patchesJörg Frings-Fürst