bom 3b8ae92b83 Correct shebang ... 'set -o pipefail' is bash specific		2024-02-24 13:37:29 +01:00
..
resources	Correct shebang	2024-02-24 13:37:29 +01:00
Dockerfile	Improvements docker image building	2023-12-21 20:13:30 +01:00