From 91279b27d6d6c34e8d3b5c8929556df34ecc7994 Mon Sep 17 00:00:00 2001
From: Timo Koch <timokoch@math.uio.no>
Date: Wed, 27 Oct 2021 19:51:59 +0000
Subject: [PATCH] [installexternal] change URL of dune-subgrid to new Dune
GitLab location
---
bin/installexternal.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/bin/installexternal.py b/bin/installexternal.py
index 612a2a64bf..af3035b10a 100755
--- a/bin/installexternal.py
+++ b/bin/installexternal.py
@@ -321,7 +321,7 @@ EXTERNAL_URLS = {
"dune-uggrid": DUNE_GIT_BASEURL + "/staging/dune-uggrid.git",
"dune-alugrid": DUNE_GIT_BASEURL + "extensions/dune-alugrid.git",
"dune-foamgrid": DUNE_GIT_BASEURL + "extensions/dune-foamgrid.git",
- "dune-subgrid": "https://git.imp.fu-berlin.de/agnumpde/dune-subgrid.git",
+ "dune-subgrid": DUNE_GIT_BASEURL + "extensions/dune-subgrid.git",
"dune-spgrid": DUNE_GIT_BASEURL + "extensions/dune-spgrid.git",
"dune-mmesh": DUNE_GIT_BASEURL + "samuel.burbulla/dune-mmesh.git",
"dune-functions": DUNE_GIT_BASEURL + "staging/dune-functions.git",
--
GitLab