Merge branch 'timmermanns' into 'master'
Removed github deploy plugin, changed repository to se nexus See merge request !5
This diff is collapsed.
Please register or sign in to comment
Removed github deploy plugin, changed repository to se nexus See merge request !5