/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)

No differences found