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 fc96be6..ca134d8 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