From 1386521099b947f644c85204005802411ff03909 Mon Sep 17 00:00:00 2001 From: mosfet80 Date: Fri, 8 Nov 2024 00:11:22 +0100 Subject: [PATCH] Update urdfdom_headers into package.xml Signed-off-by: Andrea --- package.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/package.xml b/package.xml index e84b1fc8..1ca61188 100644 --- a/package.xml +++ b/package.xml @@ -19,7 +19,7 @@ libconsole-bridge-dev tinyxml2 tinyxml2_vendor - urdfdom_headers + urdfdom_headers cmake @@ -27,7 +27,7 @@ libconsole-bridge-dev tinyxml2 tinyxml2_vendor - urdfdom_headers + urdfdom_headers python3