-
Felix Gruber authored
dune-functions recently removed the deprecated DefaultLocalIndexSet, so we have to make sure that it is not referred to when using dune-functions >= 2.7. (cherry picked from commit 06532a32)
e5f0e752
dune-functions recently removed the deprecated DefaultLocalIndexSet, so we have to make sure that it is not referred to when using dune-functions >= 2.7. (cherry picked from commit 06532a32)