comparison zshrc-linux-gnu @ 12:13e0030ddaad

ignore duplicate history entries
author Dirk Olmes <dirk@xanthippe.ping.de>
date Tue, 06 Dec 2011 15:43:46 +0100
parents 2cd74a85976a
children fa52868da3d4
comparison
equal deleted inserted replaced
11:fb0e9740a20c 12:13e0030ddaad