pietervdvn 1c1040a834 Merge master		2022-08-24 03:17:34 +02:00
..
emergency_door.svg	Autoreformat all the things	2022-01-18 18:52:42 +01:00
entrance.json	Merge master	2022-08-24 03:17:34 +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