[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