Manuel Thalmann 10e205c122 Fix format of resulting .xml file		2023-06-22 16:50:40 +02:00
..
OS	Fix format of resulting .xml file	2023-06-22 16:50:40 +02:00
Scripts	Rearrange installation scripts	2023-06-21 22:04:18 +02:00
Software	Centralize method for creating temporary directories	2023-06-16 20:25:43 +02:00