Skip to content

Feature/dev docker

jfriedli requested to merge feature/dev-docker into master

Added a docker config which can be used for development.

Merge request reports