mpeltriaux f4a1dd17b1 Map settings button removed ... * removes map settings button, since there is no implementation and it is unclear, whether this will ever become a real feature		2022-10-12 10:18:57 +02:00
..
user	Map settings button removed	2022-10-12 10:18:57 +02:00