diff zshrc-linux-gnu @ 176:d84faf4d53ac

adding openjdk11
author Dirk Olmes <dirk.olmes@codedo.de>
date Fri, 15 May 2020 13:13:18 +0200
parents 2cc8820caae0
children
line wrap: on
line diff