diff --git a/.gitmodules b/.gitmodules index 4289296a8b26ff45e7ecc43e10ce2d832a3d5944..51e0bffda0b3b51b805adc43302cc6812a365e42 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,4 +1,4 @@ [submodule "packages/algpath"] - path = packages/algpath + path = packages/adaptive url = https://gitlab.inria.fr/numag/algpath.git branch = dev diff --git a/packages/algpath b/packages/adaptive similarity index 100% rename from packages/algpath rename to packages/adaptive