comparison 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
comparison
equal deleted inserted replaced
164:20ac5fedc060 165:6dd02b1ebb80