Commit 4118e9dc authored by Yuri Blankenstein's avatar Yuri Blankenstein
Browse files

Merge branch '19-run-the-eclipse-dash-license-tool-as-part-of-the-jenkins-build' into 'develop'

Resolve "Run the Eclipse dash license tool as part of the Jenkins build"

Closes #19

See merge request !10
parents fd9597b5 ec45a663
Pipeline #2787 passed with stage
in 0 seconds