log zshrc-jdk @ 132:7f20ec5f5726

age author description
Sun, 13 May 2018 13:56:19 +0200 Dirk Olmes bugfix for the PATH generation when switching JDKs
Sun, 13 May 2018 13:54:32 +0200 Dirk Olmes update the jdk support module