Remove dome deprecated code (!331) · Merge requests · staging / dune-functions · GitLab

Carsten Gräser requested to merge feature/remove-old-code into master Oct 12, 2021

Remove optional.hh (deprecated in 2.8)
Remove NodeIndexSet concept (interface was already removed)
Stop using deprecated CHILDREN member from dune-typetree
Remove unsed include