Brian Rosenberger 205252e5a9 Add jenkinsfile for pipeline build and dockerfile for build		2023-04-17 10:36:58 +02:00
..
Dockerfile	Add jenkinsfile for pipeline build and dockerfile for build	2023-04-17 10:36:58 +02:00