Pieter Vander Vennet c944156d87 Further work, add checkboxes as option		2020-09-10 19:33:06 +02:00
..
BikeCafes.ts	Further work, add checkboxes as option	2020-09-10 19:33:06 +02:00
BikeOtherShops.ts	Further work, add checkboxes as option	2020-09-10 19:33:06 +02:00
BikeShops.ts	Further work, add checkboxes as option	2020-09-10 19:33:06 +02:00
Bos.ts	Further work, add checkboxes as option	2020-09-10 19:33:06 +02:00
GrbToFix.ts	Huge refactorings of JSON-parsing and Tagsfilter, other cleanups, warning cleanups and lots of small subtle bugfixes	2020-08-30 01:13:18 +02:00
InformationBoard.ts	Further work, add checkboxes as option	2020-09-10 19:33:06 +02:00
Map.ts	Further work, add checkboxes as option	2020-09-10 19:33:06 +02:00
NatureReserves.ts	Further work, add checkboxes as option	2020-09-10 19:33:06 +02:00
Park.ts	Further work, add checkboxes as option	2020-09-10 19:33:06 +02:00
Widths.ts	Fix bookcase question	2020-09-09 18:50:49 +02:00