Skip to content
GitLab
Explore
Sign in
This is an archived project. Repository and other project resources are read-only.
Core Modules
dune-grid-howto
Merge requests
!1
Feature/use new testing
Code
Review changes
Check out branch
Download
Patches
Plain diff
Christoph Grüninger
requested to merge
feature/use-new-testing
into
master
Nov 29, 2015
Overview
1
Commits
2
Pipelines
0
Changes
Expand
Use dune_add_test which fixes the currently broken configuration.
Merge request reports