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