diff zshrc-jdk @ 51:c509ce04abad

better history handling
author Dirk Olmes <dirk@xanthippe.ping.de>
date Wed, 13 Aug 2014 17:05:52 +0200
parents 47174e41b448
children e72a98823522
line wrap: on
line diff