Feature/dune 2.5 instead of 3.0 (!31) · Merge requests · staging / dune-functions · GitLab

The source project of this merge request has been removed.

Christoph Grüninger requested to merge (removed):feature/dune-2.5-instead-of-3.0 into master Sep 24, 2016

@carsten.graeser: Do you mind merging this?