diff zshrc @ 155:1a9d4664aafb

add openjdk12
author Dirk Olmes <dirk@xanthippe.ping.de>
date Wed, 08 May 2019 13:17:50 +0200
parents 55466fa02e0a
children 0bd8976bd5fb
line wrap: on
line diff