[jabref] 321/459: disable other patches for the time being; probably can be removed ...
gregor herrmann
gregoa at debian.org
Thu Sep 15 20:40:53 UTC 2016
This is an automated email from the git hooks/post-receive script.
gregoa pushed a commit to branch master
in repository jabref.
commit 146c80bea92d65774ccc178be834da86977cfebc
Author: gregor herrmann <gregoa at debian.org>
Date: Mon Oct 29 19:31:24 2012 +0100
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
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-java/jabref.git
More information about the pkg-java-commits
mailing list