Ulrich Mohr 1ead156c64 added --pull to the docker build		2022-01-31 15:08:52 +01:00
..
Dockerfile	Changes to Dockerfile and Jenkinsfile	2022-01-27 11:30:33 +01:00
Jenkinsfile	added --pull to the docker build	2022-01-31 15:08:52 +01:00