erik 05a824410d Use apt and set -eux		2023-11-03 10:48:24 +01:00
..
resources	Use apt and set -eux	2023-11-03 10:48:24 +01:00
Dockerfile	Dockerimage with ubuntu:jammy	2023-10-13 14:35:01 +02:00