diff oh-my-zsh @ 29:8d30bd0d3a50

provide a shortcut alias for pushd
author Dirk Olmes <dirk@xanthippe.ping.de>
date Fri, 24 Aug 2012 06:30:28 +0200
parents 5f21c59d58e4
children
line wrap: on
line diff