* Use java-wrappers instead of the hand-crafted wrapper script; thanks to
authorgregor herrmann <gregoa@debian.org>
Fri, 21 Nov 2008 20:46:20 +0000 (20:46 -0000)
committergregor herrmann <gregoa@debian.org>
Fri, 21 Nov 2008 20:46:20 +0000 (20:46 -0000)
commite936c65a772ffe1b34211cdef169cfae4c7ada10
tree3ce8c25b689f8996c4913f09a78b0a17972ef492
parent59584aa26b418c5cfda6470174175e9daef5a771
* Use java-wrappers instead of the hand-crafted wrapper script; thanks to
  Vincent Fourmond for the patch (closes: #506219).
* Update README.Debian: mention supported Java virtual machines and
  JAVA_HOME (cf. LP: #258198).
* debian/rules: set JAVA_HOME=/usr/lib/jvm/default-java.
debian/README.Debian
debian/changelog
debian/control
debian/jabref-wrapper
debian/jabref.1
debian/rules