Ulrich Mohr 515c66a780 switching to new docker image

2023-10-25 12:16:32 +02:00

..

Dockerfile

wrong path

2023-10-25 12:01:40 +02:00

Jenkinsfile

switching to new docker image

2023-10-25 12:16:32 +02:00