Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
amdis
amdis-core
Repository
amdis-core
bin
install_all_dune_modules.sh
Find file
Blame
History
Permalink
update the install_all script
· e4d7513e
Praetorius, Simon
authored
Oct 21, 2020
e4d7513e
Praetorius, Simon authorede4d7513e