Skip to content

Add dependency on dune-uggrid

Dominic Kempf requested to merge bugfix/depend-on-dune-uggrid into master

Some tutorials rely on it, so we should require it. Otherwise, said tutorials will just not compile.

Merge request reports