comparison gwt-client/ChangeLog-before-20121018 @ 9171:f1be005f0c46

tab titles from server
author gernotbelger
date Fri, 22 Jun 2018 11:02:59 +0200
parents 5aa05a7a34b7
children
comparison
equal deleted inserted replaced
9170:9b2e46090099 9171:f1be005f0c46

http://dive4elements.wald.intevation.org