Tue, 21 Jul 2020 09:15:13 +0200 |
Dirk Olmes |
jdk 13 is superseeded by jdk 14, use the generic jdk 11 link
|
Fri, 15 May 2020 13:13:18 +0200 |
Dirk Olmes |
adding openjdk11
|
Wed, 19 Feb 2020 08:20:33 +0100 |
Dirk Olmes |
use java-config again for selecting JDKs
|
Fri, 27 Sep 2019 10:11:01 +0200 |
Dirk Olmes |
update jdks
|
Wed, 08 May 2019 13:17:50 +0200 |
Dirk Olmes |
add openjdk12
|
Fri, 03 May 2019 08:40:51 +0200 |
Dirk Olmes |
update path to openjdk 11
|
Thu, 07 Mar 2019 04:37:47 +0100 |
Dirk Olmes |
add openjdk8
|
Mon, 04 Feb 2019 09:29:36 +0100 |
Dirk Olmes |
update JDK11 path
|