diff options
| author | Jeongseok Lee <jslee02@users.noreply.github.com> | 2019-01-09 09:48:30 -0800 |
|---|---|---|
| committer | Victor Romero <romerosanchezv@gmail.com> | 2019-01-09 09:48:30 -0800 |
| commit | c4fee273cf5d45c855d73ae09008b3ed0f34dd09 (patch) | |
| tree | fe7e41fc871781715765685d6f708259c44f25c1 /ports/urdfdom-headers/CONTROL | |
| parent | 7d31d1b0ebacb942002ea7c507320a724b847788 (diff) | |
| download | vcpkg-c4fee273cf5d45c855d73ae09008b3ed0f34dd09.tar.gz vcpkg-c4fee273cf5d45c855d73ae09008b3ed0f34dd09.zip | |
Update urdfdom_headers to version 1.0.2 (#5067)
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 0b967f459..9e53e9b2f 100644 --- a/ports/urdfdom-headers/CONTROL +++ b/ports/urdfdom-headers/CONTROL @@ -1,3 +1,3 @@ Source: urdfdom-headers -Version: 1.0.0-2 +Version: 1.0.2 Description: The URDF (U-Robot Description Format) headers provides core data structure headers for URDF. |