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