Christian P. MOMON 18de8f2136 Replaced png circle-icons with svg ones.		2020-10-24 03:35:44 +02:00
..
devinsy/statoolinfos	Replaced png circle-icons with svg ones.	2020-10-24 03:35:44 +02:00