Skip to content

Use HAVE_DUNE_UGGRID instead of HAVE_UG

oliver.sander_at_tu-dresden.de requested to merge update-have-ug-flag into master

Because HAVE_UG has been removed.

Merge request reports