Skip to content
GitLab
Explore
Sign in
amdis
amdis-core
Repository
amdis-core
bin
install_all_dune_modules.sh
Find file
Blame
History
Permalink
the install script now compiles all dune modules and creates an opts file
· ffee243c
Praetorius, Simon
authored
Dec 28, 2019
ffee243c