Commit 5631f6db authored by Praetorius, Simon's avatar Praetorius, Simon
Browse files

Merge branch 'issue/filesystem_path' into 'master'

some cleanup

See merge request spraetor/dune-gmsh4!4
parents eef69536 26a6e235
Pipeline #4707 passed with stage
in 20 minutes and 30 seconds