Skip to content
GitLab
Explore
Sign in
extensions
dune-subgrid
Merge requests
!34
Remove deprecated add_dune_ug_flags and Traits::ColllectiveCommunication
Code
Review changes
Check out branch
Download
Patches
Plain diff
Alexander Müller
requested to merge
fix/removeUGDeprecatedCode
into
master
Feb 06, 2024
Overview
0
Commits
3
Pipelines
6
Changes
3
Expand
I accidently directly created this commit on master
Merge request reports