diff jndi/pom.xml @ 26:19ef091c0ef3 default tip

add setup of shell env through ansible
author Dirk Olmes <dirk.olmes@codedo.de>
date Tue, 15 Nov 2016 16:34:28 +0000
parents e1a9127a7d57
children
line wrap: on
line diff