From 109fd95368da8a72b7d27a9464138fa844e41f6e Mon Sep 17 00:00:00 2001 From: ReykCS Date: Thu, 2 Feb 2023 15:20:46 +0100 Subject: [PATCH] chnged rosnav link in rosinstall --- .rosinstall | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.rosinstall b/.rosinstall index d18a4ced..734de65c 100755 --- a/.rosinstall +++ b/.rosinstall @@ -39,7 +39,7 @@ - git: local-name: ../planners/rosnav - uri: https://github.com/Arena-Rosnav/rosnav.git + uri: https://github.com/Arena-Rosnav/rosnav-rl.git version: v1.1.2 - git: