Mercurial > dive4elements > river
diff artifacts/doc/conf/log4j.properties @ 9355:7c74ee8d6767
Fixed: collision themes had fiferent point sizes
author | gernotbelger |
---|---|
date | Tue, 31 Jul 2018 18:12:36 +0200 |
parents | 28df64078f27 |
children | c5a496bf1b0b |