Robin van der Linde 6eaf4a33e9 Add extra icons, change size, add tactile paving		2022-05-08 14:31:00 +02:00
..
mapcomplete-changes.json	Add extra icons, change size, add tactile paving	2022-05-08 14:31:00 +02:00
mapcomplete-changes.proto.json	Add check for duplicate ids in layers, fix duplicates	2022-04-08 22:12:43 +02:00