log zshrc-jdk @ 184:3e3c8aa16bef

age author description
Tue, 21 Jul 2020 09:15:13 +0200 Dirk Olmes jdk 13 is superseeded by jdk 14, use the generic jdk 11 link
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