Commit 1ed4f0a9 authored Oct 04, 2018 by Martin Claus

Merge branch '3-ci-configuration' into 'develop'

Resolve "CI configuration"

Closes #3

See merge request !4