Mercurial > hg > zsh-env
log zshrc-jdk @ 168:75e3f2d8368c
age | author | description |
---|---|---|
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 |