Skip to content
GitLab
Explore
Sign in
Core Modules
dune-grid
Merge requests
!560
Stop using the HAVE_UG flag
Code
Review changes
Check out branch
Download
Patches
Plain diff
Oliver Sander
requested to merge
remove-old-have-ug-flag
into
master
Dec 13, 2021
Overview
12
Commits
1
Pipelines
2
Changes
11
Expand
It dates back from the days when UG3 was not a Dune module yet. Use HAVE_DUNE_UGGRID instead.
Merge request reports