Skip to content
Snippets Groups Projects
Commit 3dab8587 authored by Sander, Oliver's avatar Sander, Oliver
Browse files

Merge branch 'feature/GMSH4' into 'master'

Add dune-gmsh4 in the CI-script

See merge request !124
parents 744a0bee 5474ce13
No related branches found
No related tags found
Loading
Pipeline #12015 failed