diff --git a/Jenkinsfile b/Jenkinsfile index d59da42..af6f951 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -20,7 +20,7 @@ pipeline { string( name: 'GIT_BRANCH', defaultValue: '*/master', - description: 'Experte: Wenn Sie einen anderen als den 'master' Branch bauen möchten' + description: 'Experte: Wenn Sie einen anderen als den \'master\' Branch bauen möchten' ) choice( name: 'ARCHIVE_FORMAT',