diff zshrc-gentoo @ 12:13e0030ddaad

ignore duplicate history entries
author Dirk Olmes <dirk@xanthippe.ping.de>
date Tue, 06 Dec 2011 15:43:46 +0100
parents e12c50e8ea8c
children e8f909f0fb6f
line wrap: on
line diff