Skip to content
Snippets Groups Projects
Commit b3f96fc7 authored by oliver.sander_at_tu-dresden.de's avatar oliver.sander_at_tu-dresden.de
Browse files

Merge branch 'update-have-ug-flag' into 'master'

Replace HAVE_UG by HAVE_DUNE_UGGRID

See merge request !64
parents 5088e04d 66e6678a
No related branches found
No related tags found
1 merge request!64Replace HAVE_UG by HAVE_DUNE_UGGRID
Pipeline #44519 passed