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