Mercurial > dive4elements > river
diff artifacts/doc/conf/seddb-db.xml @ 9188:3931e8741f53
Minor cleanup and bugfix concerning number formatters
author | gernotbelger |
---|---|
date | Thu, 28 Jun 2018 13:14:44 +0200 |
parents | 9ef1262487e7 |
children | a773accce425 |