summaryrefslogtreecommitdiff
path: root/build-support/java12-openjdk/install_jre-openjdk.sh
AgeCommit message (Collapse)Author
2021-05-19added java12-openjdk to build-supportAndreas Baumann