disable other patches for the time being; probably can be removed ...
authorgregor herrmann <gregoa@debian.org>
Mon, 29 Oct 2012 18:31:24 +0000 (19:31 +0100)
committergregor herrmann <gregoa@debian.org>
Mon, 29 Oct 2012 18:31:24 +0000 (19:31 +0100)
Git-Dch: Ignore

debian/patches/series

index fc96be6da82c894bfd3bce60ba1e5af0869f07b3..ca134d8172a7ea6ef968ee4b907624357da0aa0a 100644 (file)
@@ -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