Feature/small fixes (!16) · Merge requests · Dominic Kempf / dune-blocklab · GitLab

Dominic Kempf requested to merge feature/small-fixes into master Sep 07, 2020

This fixes #37 (closed) #35 (closed) #36 (closed) #20 (closed)