diff oh-my-zsh @ 155:1a9d4664aafb

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