Eric van der Vlist 22f1e9c8c6 Adding a notion of baseZoomLevel.		2022-10-15 17:43:49 +02:00
..
map	Adding a notion of baseZoomLevel.	2022-10-15 17:43:49 +02:00