diff gwt-client/src/main/webapp/WEB-INF/web.xml @ 9614:d889ffe2fb05

Nachtrag Pos. 20: rename type/part to group/type, group added in Infrastructure class
author mschaefer
date Wed, 09 Oct 2019 19:17:06 +0200
parents 8b7bf26b8782
children
line wrap: on
line diff

http://dive4elements.wald.intevation.org