Mercurial > hg > zsh-env
log
age | author | description |
---|---|---|
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 |