log zshrc-jdk @ 136:0348abf21fbe

age author description
Tue, 03 Jul 2018 02:24:49 +0200 Dirk Olmes jdk9 is gone, hello jdk10
Sun, 13 May 2018 13:56:19 +0200 Dirk Olmes bugfix for the PATH generation when switching JDKs