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