diff gwt-client/src/main/webapp/WEB-INF/web.xml @ 7794:cbc2445ef09a minfo-opt

Mapped a theme for the new differences facet.
author Raimund Renkert <rrenkert@intevation.de>
date Thu, 06 Mar 2014 14:09:10 +0100
parents c7abf983d41b
children 242e790fb4ee
line wrap: on
line diff

http://dive4elements.wald.intevation.org