diff checkstyle.xml @ 9580:839b2aa84dd0

minuend/subtrahend-UI-switch
author gernotbelger
date Tue, 08 Jan 2019 17:01:09 +0100
parents de423c2a3c1b
children c0803135455c 05e844922148
line wrap: on
line diff

http://dive4elements.wald.intevation.org