Michael Jerger f0ed84822b new way to generate		2024-02-22 10:34:24 +01:00
..
resources	new way to generate	2024-02-22 10:34:24 +01:00
Dockerfile	Updated build.py and dependencies	2023-10-13 11:24:13 +02:00