Tue, 23 Oct 2018 17:36:59 +0200 |
Dirk Olmes |
update to jdk11
|
Mon, 03 Sep 2018 13:11:19 +0200 |
Dirk Olmes |
change version of JDK10
|
Tue, 03 Jul 2018 02:24:49 +0200 |
Dirk Olmes |
jdk9 is gone, hello jdk10
|
Sun, 13 May 2018 13:56:19 +0200 |
Dirk Olmes |
bugfix for the PATH generation when switching JDKs
|
Sun, 13 May 2018 13:54:32 +0200 |
Dirk Olmes |
update the jdk support module
|
Mon, 31 Mar 2014 11:31:49 +0200 |
Dirk Olmes |
add a switch for Java 8
|
Mon, 28 Nov 2011 12:36:49 +0100 |
Dirk Olmes |
zsh environment - initial import
|