diff gwt-client/src/main/webapp/images/properties.gif @ 9513:1722727803f7

Fixed merge problem and null pointer exception
author gernotbelger
date Mon, 01 Oct 2018 13:01:55 +0200
parents 5aa05a7a34b7
children
line wrap: on
line diff

http://dive4elements.wald.intevation.org