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