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