Michael Jerger 5825bcbf47 update graal version		2024-02-16 18:05:27 +01:00
..
resources	update graal version	2024-02-16 18:05:27 +01:00
Dockerfile	better structuring to docker image building	2023-12-15 16:11:49 +01:00