Merge branch 'develop' of github.com:pietervdvn/MapComplete into develop

This commit is contained in:
pietervdvn 2022-03-11 00:56:02 +01:00
commit f27bebac7e

View file

@ -113,7 +113,8 @@
"amenity=school", "amenity=school",
"amenity=kindergarten", "amenity=kindergarten",
"amenity=university", "amenity=university",
"amenity=college" "amenity=college",
"landuse=education"
] ]
} }
] ]
@ -226,4 +227,4 @@
} }
], ],
"hideFromOverview": false "hideFromOverview": false
} }