diff zshrc-jdk @ 73:a48ea5d61dee

add alias for printing all IP addresses
author Dirk Olmes <dirk@xanthippe.ping.de>
date Tue, 11 Aug 2015 17:48:12 +0200
parents 47174e41b448
children e72a98823522
line wrap: on
line diff