Skip to content

[cleanup] DUNE_VERSION_NEWER( ..., 3, 0 ) --> ( ..., 2, 6 )

Robert K requested to merge feature/cleanup-dune-version into master

Fix some dune version issues.

Merge request reports