From 146c80bea92d65774ccc178be834da86977cfebc Mon Sep 17 00:00:00 2001 From: gregor herrmann Date: Mon, 29 Oct 2012 19:31:24 +0100 Subject: [PATCH] disable other patches for the time being; probably can be removed ... Git-Dch: Ignore --- debian/patches/series | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/debian/patches/series b/debian/patches/series index fc96be6..ca134d8 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1,6 +1,6 @@ 02_libs.patch -05_antlr32.patch -07_pdfbox1.5.patch -08_doubleextensions.patch -09_looks2.5.patch +#05_antlr32.patch +#07_pdfbox1.5.patch +#08_doubleextensions.patch +#09_looks2.5.patch mrDlib.patch -- 2.20.1