diff options
| author | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2020-09-16 13:37:55 +0200 |
|---|---|---|
| committer | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2020-09-16 13:37:55 +0200 |
| commit | 99904f19656b534b6290fb2e507865f1afcf870c (patch) | |
| tree | 6fc85a26d49b153f0641b7ec63f672fb1a2bcdb0 /Jenkinsfile | |
| parent | 685317fb4adab36e95558e0f3e7b1af9f94fdaf1 (diff) | |
Update to OpenJDK 15.
Change-Id: I1ec0958b83b5250da1fa855e3754228e11f132f5
Diffstat (limited to 'Jenkinsfile')
0 files changed, 0 insertions, 0 deletions