log zshrc-jdk @ 188:757255b99cff default tip

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