Skip to content
Snippets Groups Projects
Commit eb429dac authored by Robert K's avatar Robert K
Browse files

[cleanup] Use new git path.

parent 25c971a7
No related branches found
No related tags found
No related merge requests found
......@@ -92,7 +92,7 @@ for MOD in $DUNEMODULES ; do
git clone $FEMBRANCH https://gitlab.dune-project.org/dune-fem/dune-fem.git
elif [ "$MOD" == "dune-fem-dg" ] ; then
# use the special branch for dune-fem-dg
git clone $FEMDGBRANCH http://users.dune-project.org/repositories/projects/dune-fem-dg.git
git clone $FEMDGBRANCH https://gitlab.dune-project.org/dune-fem/dune-fem-dg.git
else
git clone $DUNEBRANCH https://gitlab.dune-project.org/core/$MOD.git
fi
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment