diff checkstyle.xml @ 9282:7efb27005d0d

Fixed: using description attribute (same as name) everywhere to avoid gwt error message.
author gernotbelger
date Fri, 20 Jul 2018 14:58:34 +0200
parents de423c2a3c1b
children c0803135455c 05e844922148
line wrap: on
line diff

http://dive4elements.wald.intevation.org