Some changes

2019-10-13 19:35:01 +02:00
parent ead7000e87
commit c88961e431
1 changed files with 1 additions and 1 deletions
@@ -1,5 +1,5 @@
 pipeline {
-	agent any
+    agent any

    parameters {
       booleanParam(defaultValue: false, description: 'Enabled/disables the building of an optimized build', name: 'build_optimized')