From b045d51fe894ce15076542c2fc4f349be5b0c964 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Joan=20Vallv=C3=A9=20Navarro?= <jvallve@iri.upc.edu>
Date: Sun, 14 Jun 2020 09:32:46 +0200
Subject: [PATCH] Update .gitmodules to devel branch

---
 .gitmodules | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitmodules b/.gitmodules
index 2999783..f4ff8e0 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,4 +1,4 @@
 [submodule "deps/RTKLIB"]
 	path = deps/RTKLIB
 	url = ssh://git@gitlab.iri.upc.edu:2202/mobile_robotics/gauss_project/RTKLIB.git
-	branch = demo5
+	branch = devel
-- 
GitLab