/etc/zsh/zshrc: activate 'setopt pushd_ignore_dups'
authorMichael Prokop <mika@grml.org>
Sat, 7 Jul 2007 08:58:55 +0000 (10:58 +0200)
committerMichael Prokop <mika@grml.org>
Sat, 7 Jul 2007 08:58:55 +0000 (10:58 +0200)
commit725aa87308b23fcf3a0a643b33912ab30f49d372
treedaad3178589e6b9a85604cf31b0ca31d59b70464
parent5c8582fa1ca7b07348b683ca65543f8df12bfcff
/etc/zsh/zshrc: activate 'setopt pushd_ignore_dups'
debian/changelog
etc/zsh/zshrc