Michael Jerger 58d8d46a0c initialize jvm build tools		2024-02-17 11:45:36 +01:00
..
resources	initialize jvm build tools	2024-02-17 11:45:36 +01:00
Dockerfile	better structuring to docker image building	2023-12-15 16:11:49 +01:00