summaryrefslogtreecommitdiff
path: root/Jenkinsfile
diff options
context:
space:
mode:
authorMatthias Andreas Benkard <code@mail.matthias.benkard.de>2020-09-16 13:37:55 +0200
committerMatthias Andreas Benkard <code@mail.matthias.benkard.de>2020-09-16 13:37:55 +0200
commit99904f19656b534b6290fb2e507865f1afcf870c (patch)
tree6fc85a26d49b153f0641b7ec63f672fb1a2bcdb0 /Jenkinsfile
parent685317fb4adab36e95558e0f3e7b1af9f94fdaf1 (diff)
Update to OpenJDK 15.
Change-Id: I1ec0958b83b5250da1fa855e3754228e11f132f5
Diffstat (limited to 'Jenkinsfile')
0 files changed, 0 insertions, 0 deletions