Alexander Baldeck eb107922eb * fix install to select ourselves correctly if not default jre/jdk is set

2019-10-24 19:15:20 +02:00

..

freedesktop-java.desktop

…

freedesktop-jconsole.desktop

…

freedesktop-jshell.desktop

…

freedesktop-policytool.desktop

…

install_jdk-openjdk.sh

…

install_jre-openjdk-headless.sh

…

install_jre-openjdk.sh

…

PKGBUILD

…