Mirco ae34bec4df [skip ci]Refactoring in Docker image building, see also section dockerizing in doc/dev_notes.md to handle one Dockerfile for different builds		2024-07-11 21:35:08 +02:00
..
resources	[skip ci]Refactoring in Docker image building, see also section dockerizing in doc/dev_notes.md to handle one Dockerfile for different builds	2024-07-11 21:35:08 +02:00
.dockerignore	Some Docker improvemennts to build graalvm binary	2024-06-25 07:46:00 +02:00
Dockerfile	[skip ci]Refactoring in Docker image building, see also section dockerizing in doc/dev_notes.md to handle one Dockerfile for different builds	2024-07-11 21:35:08 +02:00