Skip to content
Snippets Groups Projects
Timo Koch's avatar
Timo Koch authored
[installexternal.sh] Adapt path for dune-typetree installation

See merge request !415
989e0f4f
History