Skip to content

Replace obsolete namespace Dune::TypeTree::Indices by Dune::Indices

Sander, Oliver requested to merge update-typetree-namespace into master

Merge request reports