Skip to content

Use HAVE_DUNE_UGGRID instead of HAVE_UG

Oliver Sander requested to merge update-have-ug-flag into master

Because HAVE_UG has been removed.

Merge request reports