commit: /etc/zsh/zshrc: activate 'setopt pushd_ignore_dups'

[Michael Prokop]

Changeset available online at:

http://hg.grml.org/grml-etc-core/rev/fd2448176499b4b5348d265824dac85815a917bb


changeset:   214:fd2448176499b4b5348d265824dac85815a917bb
tag:         tip
user:        Michael Prokop <mika at grml.org>
date:        Sat Jul 07 10:58:55 2007 +0200
files:       debian/changelog etc/zsh/zshrc
description:
/etc/zsh/zshrc: activate 'setopt pushd_ignore_dups'