Pieter Vander Vennet 553ee6d5aa Merge develop		2023-10-17 16:57:49 +02:00
..
emergency_door.svg	Autoreformat all the things	2022-01-18 18:52:42 +01:00
emergency_door.svg.license	More steps toward REUSE-compliance	2023-07-27 03:32:49 +02:00
entrance.json	Merge develop	2023-10-17 16:57:49 +02:00
entrance.svg	Fix faulty svg	2022-07-30 14:50:35 +02:00
entrance.svg.license	More steps toward REUSE-compliance	2023-07-27 03:32:49 +02:00
license_info.json	Unify some license expressions	2023-07-27 02:51:59 +02:00