Merge branch 'fix/dune-typetree-git-repo' into 'next' (!416) · Merge requests · dumux-repositories / dumux · GitLab

Merged Timo Koch requested to merge cherry-pick-ea5318cf into next Mar 17, 2017

[installexternal.sh] Adapt path for dune-typetree installation

See merge request !415 (merged)