comparison zshrc-jdk @ 133:4a181ed71eb5

use EX_LOCATION if defined, fall back to EPM_LOCATION
author Dirk Olmes <dirk@xanthippe.ping.de>
date Tue, 19 Jun 2018 07:50:16 +0200
parents 7f20ec5f5726
children 3dd5b3b873aa
comparison
equal deleted inserted replaced
132:7f20ec5f5726 133:4a181ed71eb5