log zshrc-jdk @ 188:757255b99cff default tip

age author description
2020-07-21 Dirk Olmes jdk 13 is superseeded by jdk 14, use the generic jdk 11 link
2020-05-15 Dirk Olmes adding openjdk11
2020-02-19 Dirk Olmes use java-config again for selecting JDKs
2019-09-27 Dirk Olmes update jdks
2019-05-08 Dirk Olmes add openjdk12
2019-05-03 Dirk Olmes update path to openjdk 11
2019-03-07 Dirk Olmes add openjdk8
2019-02-04 Dirk Olmes update JDK11 path
2018-10-23 Dirk Olmes use the openjdk-bin ebuild from gentoo
2018-10-23 Dirk Olmes update to jdk11
2018-09-03 Dirk Olmes change version of JDK10
2018-07-03 Dirk Olmes jdk9 is gone, hello jdk10
2018-05-13 Dirk Olmes bugfix for the PATH generation when switching JDKs
2018-05-13 Dirk Olmes update the jdk support module
2014-03-31 Dirk Olmes add a switch for Java 8
2011-11-28 Dirk Olmes zsh environment - initial import