diff gwt-client/src/main/webapp/WEB-INF/web.xml @ 9605:4b54d2ee728e

Merge
author dnt_bjoernsen <d.tironi@bjoernsen.de>
date Thu, 14 Feb 2019 16:23:19 +0100
parents 8b7bf26b8782
children
line wrap: on
line diff

http://dive4elements.wald.intevation.org