diff gwt-client/src/main/java/org/dive4elements/river/client/client/ui/WaterlevelGroundPanel.java @ 8856:5e38e2924c07 3.2.x

Fix code style.
author Tom Gottfried <tom@intevation.de>
date Thu, 18 Jan 2018 20:12:01 +0100
parents afa0ffc3a708
children 34dc0163ad2d
line wrap: on
line diff

http://dive4elements.wald.intevation.org