Merge remote-tracking branch 'origin/master'

This commit is contained in:
stijnb1234 2020-02-25 15:12:48 +01:00
commit 718c082275

11
Jenkinsfile vendored Normal file
View file

@ -0,0 +1,11 @@
pipeline {
agent any
stages {
stage('Build') {
steps {
echo 'Building V10Lift...'
}
}
}
}