From 146c80bea92d65774ccc178be834da86977cfebc Mon Sep 17 00:00:00 2001
From: gregor herrmann <gregoa@debian.org>
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