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

Status	Pipeline	Created by	Stages	Actions
Passed 00:32:38 3 years ago	Stop using the HAVE_UG flag #42135 remove-old-have-ug-flag 83e07dbe		Stage: test	Download artifacts No artifacts found
Passed 00:18:54 3 years ago	Stop using the HAVE_UG flag #42130 remove-old-have-ug-flag 5669a247		Stage: test	Download artifacts No artifacts found

Stop using the HAVE_UG flag