Michael Mayer 30fe713594 CI: Add Dockerfiles and update Makefile for Ubuntu 22.04 "Jammy" build		2022-04-05 15:31:29 +02:00
..
Dockerfile	CI: Add Dockerfiles and update Makefile for Ubuntu 22.04 "Jammy" build	2022-04-05 15:31:29 +02:00