dive4elements/river at 9643: 2 new changesets

[Wald Commits]

2 new changesets in dive4elements/river:
pushed by: gernotbelger

https://scm.wald.intevation.org/hg/dive4elements/river/rev/3987fef69143
changeset:   9642:3987fef69143
user:        dnt_bjoernsen <d.tironi at bjoernsen.de>
date:        Mon Dec 02 14:07:25 2019 +0100
summary:     (properties for svn relevant only)

https://scm.wald.intevation.org/hg/dive4elements/river/rev/58f3fe98fd6b
changeset:   9643:58f3fe98fd6b
tag:         tip
user:        dnt_bjoernsen <d.tironi at bjoernsen.de>
date:        Mon Dec 02 14:14:06 2019 +0100
summary:     Fitting new Option UI

-- 
Repository URL: https://scm.wald.intevation.org/hg/dive4elements/river