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'
Received on Sun 14 Oct 2007 - 20:13:35 UTC
This archive was generated by hypermail 2.2.0 : Sun 14 Oct 2007 - 20:16:31 UTC