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