From: Timo Heister <timo.heister@gmail.com>
Date: Sat, 1 Aug 2020 14:52:26 +0000 (-0400)
Subject: Jenkinsfile: convert tabs to spaces
X-Git-Tag: v9.3.0-rc1~1226^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=086e714c095ea4e1b697db156cac578de168eedc;p=dealii.git

Jenkinsfile: convert tabs to spaces
---

diff --git a/Jenkinsfile b/Jenkinsfile
index b0f6f99a2a..0c9398345a 100644
--- 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
           {