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