Skip to content
GitLab
Explore
Sign in
Core Modules
dune-grid
Merge requests
!687
Make concepts more restrictive
Code
Review changes
Check out branch
Download
Patches
Plain diff
Simon Praetorius
requested to merge
concept/more-restrictive
into
master
Dec 06, 2022
Overview
6
Commits
2
Pipelines
3
Changes
5
Expand
Summary
As discussed in
#163
some concepts should be more restrictive. This MR implemented this idea.
Merge request reports