Pieter Vander Vennet e7ef8fcc0a chore: automated housekeeping...		2023-05-18 19:47:49 +02:00
..
emergency_door.svg	Autoreformat all the things	2022-01-18 18:52:42 +01:00
entrance.json	chore: automated housekeeping...	2023-05-18 19:47:49 +02:00
entrance.svg	Fix faulty svg	2022-07-30 14:50:35 +02:00
license_info.json	Theme cleanup: fused entrances with indoors	2022-07-30 14:41:02 +02:00