diff zshrc-jdk @ 80:fbf374902161

add -t for the world update
author Dirk Olmes <dirk@xanthippe.ping.de>
date Wed, 26 Aug 2015 10:11:27 +0200
parents 47174e41b448
children e72a98823522
line wrap: on
line diff