From 8a39971a1c3b86b607814a3fe5738d7357ace588 Mon Sep 17 00:00:00 2001
From: Ulrich Mohr <mohr@irs.uni-stuttgart.de>
Date: Mon, 31 Jan 2022 15:11:37 +0100
Subject: [PATCH] oops, wrong language

---
 automation/Jenkinsfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/automation/Jenkinsfile b/automation/Jenkinsfile
index 09ac9649d..dae2da2cb 100644
--- a/automation/Jenkinsfile
+++ b/automation/Jenkinsfile
@@ -5,8 +5,8 @@ pipeline {
     agent {
         dockerfile {
             dir 'automation'
-            #force docker to redownload base image and rebuild all steps instead of caching them
-            #this way, we always get an up to date docker image one each build
+            //force docker to redownload base image and rebuild all steps instead of caching them
+            //this way, we always get an up to date docker image one each build
             additionalBuildArgs  '--no-cache --pull'
             reuseNode true
         }