[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