diff zshrc-linux-gnu @ 93:86cdb5c21cc7

Backed out changeset 5d71a5c05d87
author Dirk Olmes <dirk@xanthippe.ping.de>
date Tue, 24 May 2016 10:05:49 +0200
parents fa52868da3d4
children 2cc8820caae0
line wrap: on
line diff