* Only set JAVA to $JAVA_HOME/jre/bin/java if JAVA_HOME is not empty;
authorgregor herrmann <gregoa@debian.org>
Mon, 11 Feb 2008 16:00:11 +0000 (16:00 -0000)
committergregor herrmann <gregoa@debian.org>
Mon, 11 Feb 2008 16:00:11 +0000 (16:00 -0000)
commit51384291809856eef1694d9d87506885734c0ef9
treed412e73bbb0e50cd40e362605e86548be7b9e0ae
parent8c36526a0a97af9525893190151b9d34119c8f51
* Only set JAVA to $JAVA_HOME/jre/bin/java if JAVA_HOME is not empty;
  thanks to Michael Piefel for the hint.
* Set debhelper compatibility level to 6.
debian/changelog
debian/compat
debian/control
jabref