Skip to content

[Cleanup] Switch to Indices namespace from dune-common

Steffen Müthing requested to merge feature/switch-to-dune-common-indices into master

The static indices have been moved to dune-common, along with the namespace Indices, so switch to that one. Also reduces the amount of typing, yay!

Merge request reports