-
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.
06532a32
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.