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:/' // } - //} + } } } }