Skip to content

Stop setting HAVE_UG

Oliver Sander requested to merge remove-old-have-ug-flag into master

Downstream code should use HAVE_DUNE_UGGRID instead.

Merge request reports