Skip to content
GitLab
Explore
Sign in
amdis
amdis-core
Repository
amdis-core
bin
install_all_dune_modules.sh
Find file
Blame
History
Permalink
Add option to download via ssh in install_all_dune_modules script
· 3d5fd535
Praetorius, Simon
authored
Jul 18, 2021
3d5fd535