Patrik J. Braun 8e5be78464 making map icon thumbnails switchable		2019-07-21 11:23:08 +02:00
..
private	adding warning comment to config	2019-07-19 16:03:50 +02:00
public	making map icon thumbnails switchable	2019-07-21 11:23:08 +02:00