Mercurial > dive4elements > river
diff java.header @ 8973:35afa0349782
New field wsts.sinfo_selection
author | mschaefer |
---|---|
date | Tue, 03 Apr 2018 10:29:57 +0200 |
parents | 0862ea5d66ba |
children |
author | mschaefer |
---|---|
date | Tue, 03 Apr 2018 10:29:57 +0200 |
parents | 0862ea5d66ba |
children |