Tue, 03 Jul 2018 02:24:49 +0200 |
Dirk Olmes |
jdk9 is gone, hello jdk10
|
Tue, 03 Jul 2018 02:20:39 +0200 |
Dirk Olmes |
update ant path, remove noping
|
Tue, 19 Jun 2018 07:50:16 +0200 |
Dirk Olmes |
use EX_LOCATION if defined, fall back to EPM_LOCATION
|
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
|
Fri, 09 Mar 2018 16:03:11 +0100 |
Dirk Olmes |
EPM_LOCATION -> EX_LOCATION
|
Tue, 06 Mar 2018 10:18:31 +0100 |
Dirk Olmes |
add aliases for ipv6
|
Fri, 16 Feb 2018 08:48:05 +0100 |
Dirk Olmes |
add zsh modules for inclusion
|