pietervdvn fd9185dd73 Small reformatting		2022-08-22 19:17:24 +02:00
..
emergency_door.svg	Autoreformat all the things	2022-01-18 18:52:42 +01:00
entrance.json	Small reformatting	2022-08-22 19:17:24 +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