Skip to content
GitLab
Explore
Sign in
[cmake] Deprecate dune_list_filter
Code
Review changes
Check out branch
Download
Patches
Plain diff
Christoph Grüninger
requested to merge
feature/deprecate-dune_list_filter
into
master
Oct 23, 2020
Overview
4
Commits
1
Pipelines
4
Changes
5
Expand
We require CMake 3.13.
Merge request reports
Loading