diff zshrc-linux-gnu @ 28:8f29a32fcdcb

use a different pager for man (one that properly displays colors)
author Dirk Olmes <dirk.olmes@exentra.de>
date Fri, 22 Jun 2012 06:55:48 +0200
parents 2cd74a85976a
children fa52868da3d4
line wrap: on
line diff