summaryrefslogtreecommitdiff
path: root/debian/patches/0010-unneeded_doc.patch
diff options
context:
space:
mode:
authorJörg Frings-Fürst <debian@jff-webhosting.net>2018-06-25 20:33:18 +0200
committerJörg Frings-Fürst <debian@jff-webhosting.net>2018-06-25 20:33:18 +0200
commit9994b98f3a617f266b42124efb04d25b2cb89732 (patch)
tree74c4c85b6645dc74128d56caba88c27247fa1de2 /debian/patches/0010-unneeded_doc.patch
parent6452801c45e78cf9dd5eb98b4c9de1e346e9761f (diff)
some final changes
Diffstat (limited to 'debian/patches/0010-unneeded_doc.patch')
0 files changed, 0 insertions, 0 deletions