Skip to content
GitLab

the install script now compiles all dune modules and creates an opts file

Merged Praetorius, Simon requested to merge feature/install_amdis_modules into master

Merge request reports