diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2020-02-08 02:05:51 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2020-02-08 02:05:51 +0000 |
| commit | fdd474c8fcadda8a01dab765239f5f2e20f8c712 (patch) | |
| tree | 2fa9ad0d3ff1a28e6eb62164705138e3120740ee /ros-overlay.txt | |
| parent | 2020-02-08T01:20:01Z (diff) | |
| download | repos-fdd474c8fcadda8a01dab765239f5f2e20f8c712.tar.gz repos-fdd474c8fcadda8a01dab765239f5f2e20f8c712.tar.bz2 repos-fdd474c8fcadda8a01dab765239f5f2e20f8c712.zip | |
2020-02-08T02:00:01Z
Diffstat (limited to 'ros-overlay.txt')
| -rw-r--r-- | ros-overlay.txt | 12 |
1 files changed, 1 insertions, 11 deletions
diff --git a/ros-overlay.txt b/ros-overlay.txt index e1603fbebc1f..626c428acac7 100644 --- a/ros-overlay.txt +++ b/ros-overlay.txt @@ -7,17 +7,7 @@ 'source': [{'type': 'git', 'uri': 'git://github.com/ros/ros-overlay.git'}], 'status': 'unofficial'} $ pmaint sync ros-overlay -From git://github.com/ros/ros-overlay - 9815452f0..1614c37ae master -> origin/master -Updating 9815452f0..1614c37ae -Fast-forward - ros-kinetic/catkin/Manifest | 1 - - ...01-Workaround-error-issue-ros-overlay-711.patch | 27 ---------------------- - ros-melodic/catkin/Manifest | 1 - - ...01-Workaround-error-issue-ros-overlay-711.patch | 14 ----------- - 4 files changed, 43 deletions(-) - delete mode 100644 ros-kinetic/catkin/files/0001-Workaround-error-issue-ros-overlay-711.patch - delete mode 100644 ros-melodic/catkin/files/0001-Workaround-error-issue-ros-overlay-711.patch +Already up to date. *** syncing ros-overlay *** synced ros-overlay * Sync succeeded |