diff zshrc-linux-gnu @ 37:035e19cbaee7

merge latest changes
author Dirk Olmes <dirk@xanthippe.ping.de>
date Sat, 16 Feb 2013 05:59:44 +0100
parents 2cd74a85976a
children fa52868da3d4
line wrap: on
line diff