From 8b2530bfac661c71668534c5a3d7383204108f7a Mon Sep 17 00:00:00 2001
From: Olivier Stasse <ostasse@laas.fr>
Date: Mon, 25 Nov 2019 23:37:30 +0100
Subject: [PATCH] package.xml: Change from dynamic_graph to dynamic-graph
---
package.xml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/package.xml b/package.xml
index 71f1bce..115bd01 100644
--- a/package.xml
+++ b/package.xml
@@ -1,5 +1,5 @@
<package format="2">
- <name>dynamic_graph</name>
+ <name>dynamic-graph</name>
<version>3.7.3</version>
<description>
Dynamic graph library
--
GitLab