StU: Anpassungen für den Jenkins-Build aus GitHub
Merge pull request #1 from surech/jenkins-github-integration

StU: Anpassungen für den Jenkins-Build aus GitHub