comparison zshrc-linux-gnu @ 154:c78e098abad3

update path to openjdk 11
author Dirk Olmes <dirk@xanthippe.ping.de>
date Fri, 03 May 2019 08:40:51 +0200
parents fa52868da3d4
children 2cc8820caae0
comparison
equal deleted inserted replaced
153:aa8f422d55ae 154:c78e098abad3