diff options
Diffstat (limited to 'ports/urdfdom-headers/CONTROL')
| -rw-r--r-- | ports/urdfdom-headers/CONTROL | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ports/urdfdom-headers/CONTROL b/ports/urdfdom-headers/CONTROL index 9e53e9b2f..1f16764c1 100644 --- a/ports/urdfdom-headers/CONTROL +++ b/ports/urdfdom-headers/CONTROL @@ -1,3 +1,3 @@ Source: urdfdom-headers -Version: 1.0.2 +Version: 1.0.3 Description: The URDF (U-Robot Description Format) headers provides core data structure headers for URDF. |