diff zshrc-jdk @ 141:fe986adeadeb

add more helper functions
author Dirk Olmes <dirk@xanthippe.ping.de>
date Thu, 05 Jul 2018 04:58:14 +0200
parents 3dd5b3b873aa
children 870bb3be824f
line wrap: on
line diff