Stop using the HAVE_UG flag (!560) · Merge requests · Core Modules / dune-grid

Merged Oliver Sander requested to merge remove-old-have-ug-flag into master 3 years ago

Oliver Sander authored 3 years ago

It dates back from the days when UG3 was not a Dune module yet.
Use HAVE_DUNE_UGGRID instead.

83e07dbe

Stop using the HAVE_UG flag