diff --git a/.gitmodules b/.gitmodules index 2999783577610c44e39242e31c38b22559de61b4..f4ff8e0be25812d7393a48625a4b6b1af2734a8b 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