brian 66ed10a5e3 Add jenkinsfile for pipeline build and dockerfile for build

2022-10-21 21:31:44 +02:00

..

build.gradle

Add jenkinsfile for pipeline build and dockerfile for build

2022-10-21 21:31:44 +02:00