diff zshrc-jdk @ 159:d0cdc3f47182

oops we already had a zsh enabling .profile
author Dirk Olmes <dirk@xanthippe.ping.de>
date Sat, 14 Dec 2019 06:17:27 +0100
parents 2f71ba394858
children 6dd02b1ebb80
line wrap: on
line diff