[ug] Don't use dune-uggrid's symlinks
- Dec 13, 2019
-
-
Christoph Grüninger authored
-
Christoph Grüninger authored
Use proper include paths instead
-
Use proper include paths instead
This breaks compatibility with UG 3.13, not dune-uggrid.
Requires staging/dune-uggrid!143 (merged)
Use proper include paths instead