log artifacts/doc/conf/themes/default.xml @ 9355:7c74ee8d6767

age author description
Tue, 31 Jul 2018 18:12:36 +0200 gernotbelger Fixed: collision themes had fiferent point sizes

http://dive4elements.wald.intevation.org