Skip to content

Issue/cleanup concepts

Praetorius, Simon requested to merge issue/cleanup_concepts into master

Simple renaming of requires_ to require. Maybe we should also remove the whole Concepts::models trick and replace it with dune-common's version. It is not better, it is just already in the library.

Merge request reports

Loading