diff zshrc-jdk @ 125:a8fd9ba4d2bc

merge with upstram
author Dirk Olmes <dirk@xanthippe.ping.de>
date Thu, 05 Oct 2017 09:31:08 +0200
parents 47174e41b448
children e72a98823522
line wrap: on
line diff