Mercurial > hg > zsh-env
diff zshrc-jdk @ 12:13e0030ddaad
ignore duplicate history entries
author | Dirk Olmes <dirk@xanthippe.ping.de> |
---|---|
date | Tue, 06 Dec 2011 15:43:46 +0100 |
parents | 8b245298349a |
children | 47174e41b448 |
author | Dirk Olmes <dirk@xanthippe.ping.de> |
---|---|
date | Tue, 06 Dec 2011 15:43:46 +0100 |
parents | 8b245298349a |
children | 47174e41b448 |