chnged rosnav link in rosinstall

Arena-Rosnav · Feb 2, 2023 · 109fd95 · 109fd95
1 parent d074b8d
commit 109fd95
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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: