Commit 0fb869e3 authored by Praetorius, Simon's avatar Praetorius, Simon
Browse files

Merge branch 'feature/install-all-modules-ssh' into 'master'

Add option to download via ssh in install_all_dune_modules script

See merge request amdis/amdis!2
parents 43a2cbb8 3d5fd535