diff options
Diffstat (limited to 'ports/urdfdom-headers/CONTROL')
| -rw-r--r-- | ports/urdfdom-headers/CONTROL | 1 |
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. |