Skip to content
GitLab
Explore
Sign in
amdis
amdis-core
Repository
amdis-core
bin
install_all_dune_modules.sh
Find file
Blame
History
Permalink
update the install_all script
· 6a0296fa
Praetorius, Simon
authored
Oct 21, 2020
6a0296fa
Praetorius, Simon authored6a0296fa