From 205d5b52c425e466acc94522327284f16ad6168c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Pep=20Mart=C3=AD=20Saumell?= <jmarti@iri.upc.edu> Date: Fri, 13 Mar 2020 14:46:39 +0100 Subject: [PATCH] Update .gitmodules --- .gitmodules | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.gitmodules b/.gitmodules index 1649b9e..2999783 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,4 @@ [submodule "deps/RTKLIB"] path = deps/RTKLIB - url = https://gitlab.iri.upc.edu/mobile_robotics/gauss_project/RTKLIB.git + url = ssh://git@gitlab.iri.upc.edu:2202/mobile_robotics/gauss_project/RTKLIB.git + branch = demo5 -- GitLab