From e127d1fd33ff77cf1fff85fae19f0ad14c157d74 Mon Sep 17 00:00:00 2001 From: Robin Mueller Date: Tue, 19 Sep 2023 21:10:54 +0200 Subject: [PATCH] stupido --- automation/Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/automation/Jenkinsfile b/automation/Jenkinsfile index e112e72..0692fa8 100644 --- a/automation/Jenkinsfile +++ b/automation/Jenkinsfile @@ -16,7 +16,7 @@ pipeline { // Deploy to Apache webserver // sh 'rsync -r --delete --exclude projects/* --exclude static/font-univers . buildfix@documentation.irs.uni-stuttgart.de:/' // } - //} + } } } }