Mercurial > hg > zsh-env
log zshrc-jdk @ 143:870bb3be824f
age | author | description |
---|---|---|
Mon, 03 Sep 2018 13:11:19 +0200 | Dirk Olmes | change version of JDK10 |
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 |