From c88961e431de09e25354f14164892bda869b6795 Mon Sep 17 00:00:00 2001
From: WolverinDEV <git@mcgalaxy.de>
Date: Sun, 13 Oct 2019 19:35:01 +0200
Subject: [PATCH] Some changes

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 528af4a..69f3607 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -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')