Skip to content
GitLab
Explore
Sign in
[cleanup] DUNE_VERSION_NEWER( ..., 3, 0 ) --> ( ..., 2, 6 )
Code
Review changes
Check out branch
Download
Patches
Plain diff
Robert K
requested to merge
feature/cleanup-dune-version
into
master
Jun 06, 2017
Overview
0
Commits
1
Pipelines
0
Changes
2
Expand
Fix some dune version issues.
Merge request reports
Loading