diff --git a/.gitmodules b/.gitmodules index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..4289296a8b26ff45e7ecc43e10ce2d832a3d5944 100644 --- a/.gitmodules +++ b/.gitmodules @@ -0,0 +1,4 @@ +[submodule "packages/algpath"] + path = packages/algpath + url = https://gitlab.inria.fr/numag/algpath.git + branch = dev diff --git a/packages/algpath b/packages/algpath new file mode 160000 index 0000000000000000000000000000000000000000..996e2eff80d36250a54a05911e61198cf6ca4e98 --- /dev/null +++ b/packages/algpath @@ -0,0 +1 @@ +Subproject commit 996e2eff80d36250a54a05911e61198cf6ca4e98