Brian Rosenberger 1ce4a0ba70 Add jenkinsfile for pipeline build and dockerfile for build		2022-10-03 20:06:59 +02:00
..
Dockerfile	Add jenkinsfile for pipeline build and dockerfile for build	2022-10-03 20:06:59 +02:00