"dune/git@gitlab.mn.tu-dresden.de:osander/dune-gfe.git" did not exist on "79e8131c1031a5770f3926e217926a2d40ca37ef"
Sander, Oliver
authored
- use more shared_ptr - New MCMGMapper interface from dune-grid 2.6 - basis.indexSet() has been removed from dune-functions