diff zshrc-jdk @ 42:fa52868da3d4

add detection for CentOS
author Dirk Olmes <dirk@xanthippe.ping.de>
date Tue, 04 Mar 2014 08:54:43 +0100
parents 8b245298349a
children 47174e41b448
line wrap: on
line diff