disable other patches for the time being; probably can be removed ...
[debian/jabref.git] / 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