Mercurial > hg > zsh-env
diff zshrc-linux-gnu @ 135:3dd5b3b873aa
jdk9 is gone, hello jdk10
| author | Dirk Olmes <dirk@xanthippe.ping.de> |
|---|---|
| date | Tue, 03 Jul 2018 02:24:49 +0200 |
| parents | fa52868da3d4 |
| children | 2cc8820caae0 |
| author | Dirk Olmes <dirk@xanthippe.ping.de> |
|---|---|
| date | Tue, 03 Jul 2018 02:24:49 +0200 |
| parents | fa52868da3d4 |
| children | 2cc8820caae0 |