diff zshrc-jdk @ 29:8d30bd0d3a50

provide a shortcut alias for pushd
author Dirk Olmes <dirk@xanthippe.ping.de>
date Fri, 24 Aug 2012 06:30:28 +0200 (2012-08-24)
parents 8b245298349a
children 47174e41b448
line wrap: on
line diff