Brian Rosenberger 931841d669 Add jenkinsfile for pipeline build and dockerfile for build		2022-10-21 21:31:41 +02:00
..
Dockerfile	Add jenkinsfile for pipeline build and dockerfile for build	2022-10-21 21:31:41 +02:00