MassiveBox d0f8950c3c Add jenkins'Dockerfile ... whoops I forgot		2023-07-21 18:30:25 +02:00
..
Dockerfile	Add jenkins'Dockerfile	2023-07-21 18:30:25 +02:00
Jenkinsfile	Fix pipeline	2023-07-21 18:10:35 +02:00