Skip to content

Merge branch 'fix/dune-typetree-git-repo' into 'next'

Timo Koch requested to merge cherry-pick-ea5318cf into next

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

See merge request !415 (merged)

Merge request reports