Mercurial > hg > zsh-env
diff zshrc-centos @ 165:6dd02b1ebb80
use java-config again for selecting JDKs
author | Dirk Olmes <dirk.olmes@codedo.de> |
---|---|
date | Wed, 19 Feb 2020 08:20:33 +0100 |
parents | e91d7b23a31f |
children | 75e3f2d8368c |
author | Dirk Olmes <dirk.olmes@codedo.de> |
---|---|
date | Wed, 19 Feb 2020 08:20:33 +0100 |
parents | e91d7b23a31f |
children | 75e3f2d8368c |