Mercurial > hg > zsh-env
diff zshrc-linux-gnu @ 146:d6fba0677bff
update to jdk11
author | Dirk Olmes <dirk@xanthippe.ping.de> |
---|---|
date | Tue, 23 Oct 2018 17:36:59 +0200 |
parents | fa52868da3d4 |
children | 2cc8820caae0 |
author | Dirk Olmes <dirk@xanthippe.ping.de> |
---|---|
date | Tue, 23 Oct 2018 17:36:59 +0200 |
parents | fa52868da3d4 |
children | 2cc8820caae0 |