Jenkinsfile: convert tabs to spaces

diff --git a/Jenkinsfile b/Jenkinsfile
index b0f6f99a2a837fd557d186e9969fb49770902161..0c9398345a201f3b15391c00e9bab4a34c530c2e 100644 (file)
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -38,12 +38,12 @@ pipeline
         {
           // skip permission check on master and release branches
           when {
-              not {
-               anyOf {
-                 branch 'master'
-                 branch pattern: "dealii-*", comparator: "GLOB"
-               }
-             }
+            not {
+              anyOf {
+                branch 'master'
+                branch pattern: "dealii-*", comparator: "GLOB"
+              }
+            }
           }
           steps
           {