diff gwt-client/pom.xml @ 9171:f1be005f0c46

tab titles from server
author gernotbelger
date Fri, 22 Jun 2018 11:02:59 +0200
parents ea63de8a2e9a
children 9ec4686badae
line wrap: on
line diff

http://dive4elements.wald.intevation.org