Roberto Cirillo fe40c4fb3f dm-pool-manager: upgrade settings and service version		2017-10-11 15:18:15 +02:00
..
service.properties.j2	…
web.xml.j2	…