pietervdvn 70964f645a Merge branch 'develop' of github.com:pietervdvn/MapComplete into develop		2021-11-07 15:44:47 +01:00
..
barrier.json	Merge branch 'develop' of github.com:pietervdvn/MapComplete into develop	2021-11-07 15:44:47 +01:00
barrier.svg	Add binoculars theme, auto reformat everything	2021-09-09 00:06:21 +02:00
license_info.json	Fix the order of the licenses	2021-09-08 01:53:37 +02:00