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
..
install.sh	[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