[jabref] 184/459: apply philip's patch to jabref-wrapper

gregor herrmann gregoa at debian.org
Thu Sep 15 20:40:17 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 a6f63b987ae0d5b76a2b8705d41d5551def841d6
Author: gregor herrmann <gregoa at debian.org>
Date:   Tue Aug 11 15:43:35 2009 +0000

    apply philip's patch to jabref-wrapper
---
 debian/jabref-wrapper | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/jabref-wrapper b/debian/jabref-wrapper
index e2b391d..005adb3 100644
--- a/debian/jabref-wrapper
+++ b/debian/jabref-wrapper
@@ -6,6 +6,6 @@
 # We need openjdk6 or sun{5,6} runtime.
 find_java_runtime openjdk || find_java_runtime sunmin5
 
-find_jars jabref antlr antlr3 looks forms spin glazedlists microba pdfbox jempbox
+find_jars jabref antlr antlr3 looks forms spin glazedlists microba pdfbox jempbox mysql-connector-java JPFCodeGenerator-rt jpf jpf-boot commons-logging
 
 run_java net.sf.jabref.JabRefMain "$@"

-- 
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