Skip to content

Replace HAVE_UG by HAVE_DUNE_UGGRID

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

Because HAVE_UG has been removed.

Merge request reports