Mirco dceb69a44a [skip-ci] Moved .dockerignore		2024-07-12 13:18:43 +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