aboutsummaryrefslogtreecommitdiff
path: root/ports/urdfdom-headers/CONTROL
diff options
context:
space:
mode:
authorAntoine Hoarau <703240+ahoarau@users.noreply.github.com>2020-11-06 07:52:44 +0100
committerGitHub <noreply@github.com>2020-11-05 22:52:44 -0800
commit7fbbc599ec816c456a02180ac75d42f1fb9e1d73 (patch)
treefb3d9123f1f9792bc0a4dd8154f4f447333ffd66 /ports/urdfdom-headers/CONTROL
parent193e348cf34c442c5499fbff5f5b6cc78faea6e3 (diff)
downloadvcpkg-7fbbc599ec816c456a02180ac75d42f1fb9e1d73.tar.gz
vcpkg-7fbbc599ec816c456a02180ac75d42f1fb9e1d73.zip
[ignition] Updates on various pkgs 🤖 (#14324)
Diffstat (limited to 'ports/urdfdom-headers/CONTROL')
-rw-r--r--ports/urdfdom-headers/CONTROL1
1 files changed, 1 insertions, 0 deletions
diff --git a/ports/urdfdom-headers/CONTROL b/ports/urdfdom-headers/CONTROL
index fca096943..755c44c7e 100644
--- a/ports/urdfdom-headers/CONTROL
+++ b/ports/urdfdom-headers/CONTROL
@@ -1,4 +1,5 @@
Source: urdfdom-headers
Version: 1.0.5
+Port-Version: 1
Homepage: https://github.com/ros/urdfdom_headers
Description: The URDF (U-Robot Description Format) headers provides core data structure headers for URDF.