Johannes Meyer f7c6cd3c2a Make it possible to set a minimum circle width ... refs #4190		2014-04-01 11:46:43 +02:00
..
Monitoring	Make it possible to set a minimum circle width	2014-04-01 11:46:43 +02:00