switch alugrid to zivgitlab mirror

parent 479bddae
Pipeline #63254 failed with stages
in 1 minute and 26 seconds
......@@ -45,7 +45,7 @@
url = https://github.com/dune-community/dune-testtools.git
[submodule "dune-alugrid"]
path = dune-alugrid
url = https://gitlab.dune-project.org/extensions/dune-alugrid.git
url = https://zivgitlab.uni-muenster.de/ag-ohlberger/dune-community/dune-alugrid
[submodule "dune-uggrid"]
path = dune-uggrid
url = https://github.com/dune-mirrors/dune-uggrid.git
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment