zsh/config
2017-01-04 16:15:52 +11:00
..
zsh Enable pushd stuff when changing directories 2017-01-04 16:15:52 +11:00