diff --git a/.gitmodules b/.gitmodules deleted file mode 100644 index 51e0bffda0b3b51b805adc43302cc6812a365e42..0000000000000000000000000000000000000000 --- a/.gitmodules +++ /dev/null @@ -1,4 +0,0 @@ -[submodule "packages/algpath"] - path = packages/adaptive - url = https://gitlab.inria.fr/numag/algpath.git - branch = dev diff --git a/packages/adaptive b/packages/adaptive deleted file mode 160000 index 68b4c4a6be8c3d30920a080fd638cd398de57ecf..0000000000000000000000000000000000000000 --- a/packages/adaptive +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 68b4c4a6be8c3d30920a080fd638cd398de57ecf