Skip to content

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

Praetorius, Simon requested to merge feature/install_amdis_modules into master

Merge request reports