MassiveBox 394091d885 Fix pipeline		2023-07-21 18:10:35 +02:00
..
Dockerfile	Attempt at adding Jenkins CI	2023-07-21 09:43:36 +02:00
Jenkinsfile	Fix pipeline	2023-07-21 18:10:35 +02:00