make use of relative submodule paths

parent 294bfec9
Pipeline #72718 failed with stage
in 13 minutes and 43 seconds
...@@ -6,4 +6,4 @@ ...@@ -6,4 +6,4 @@
url = git@gitlab.inria.fr:sesame/ShipZone.git url = git@gitlab.inria.fr:sesame/ShipZone.git
[submodule "libs/stream_nm"] [submodule "libs/stream_nm"]
path = libs/stream_nm path = libs/stream_nm
url = git@gitlab.inria.fr:sesame/NormalityModel.git url = ../NormalityModel.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