Adjusting the Jenkins job run for PRs#317
Merged
kraenhansen merged 7 commits intomasterfrom kh/improved-ci-2Oct 25, 2017
+16,110-13
Commits
Commits on Oct 25, 2017
- committedKræn Hansen
- committedKræn Hansen
- committedKræn Hansen
- committedKræn Hansen
- committedKræn Hansen
- committedKræn Hansen
- committedKræn Hansen