diff artifacts/doc/conf/themes/default.xml @ 6371:19459037b3c7

GWT client: Display official lines in helper panels.
author Sascha L. Teichmann <teichmann@intevation.de>
date Wed, 19 Jun 2013 15:03:05 +0200
parents f01dee3a39fc
children cf4889a257cb
line wrap: on
line diff

http://dive4elements.wald.intevation.org