diff artifacts/src/main/java/org/dive4elements/river/artifacts/states/MiddleBedHeight.java @ 9580:839b2aa84dd0

minuend/subtrahend-UI-switch
author gernotbelger
date Tue, 08 Jan 2019 17:01:09 +0100
parents 9ab967eb2c51
children 0a5239a1e46e
line wrap: on
line diff

http://dive4elements.wald.intevation.org