Skip to content
Snippets Groups Projects

Replace HAVE_UG by HAVE_DUNE_UGGRID

Merged oliver.sander_at_tu-dresden.de requested to merge update-have-ug-flag into master
Status
Pipeline
Created by
Stages
Actions
Passed

00:21:08

avatar

No artifacts found

Loading