diff zshrc-jdk @ 46:1cbbe8b41622

zshrc for EPM
author Dirk Olmes <dirk@xanthippe.ping.de>
date Tue, 04 Mar 2014 09:43:43 +0100
parents 8b245298349a
children 47174e41b448
line wrap: on
line diff