comparison gwt-client/src/main/java/org/dive4elements/river/client/client/ui/RiverInfoPanel.java @ 9580:839b2aa84dd0

minuend/subtrahend-UI-switch
author gernotbelger
date Tue, 08 Jan 2019 17:01:09 +0100
parents 5e38e2924c07
children
comparison
equal deleted inserted replaced
9579:67a42c9c46a7 9580:839b2aa84dd0

http://dive4elements.wald.intevation.org