# HG changeset patch # User Raimund Renkert # Date 1395318845 -3600 # Node ID 7227082baca33a4db10c74df4c745890e209f0fc # Parent 5c80f419aea411ca527a52d4e43c2f849dd7fea2 Changed state datatype for soundings select state. diff -r 5c80f419aea4 -r 7227082baca3 artifacts/doc/conf/artifacts/minfo.xml --- a/artifacts/doc/conf/artifacts/minfo.xml Thu Mar 20 13:32:43 2014 +0100 +++ b/artifacts/doc/conf/artifacts/minfo.xml Thu Mar 20 13:34:05 2014 +0100 @@ -97,7 +97,7 @@ - +