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