diff options
Diffstat (limited to 'ros-overlay.txt')
| -rw-r--r-- | ros-overlay.txt | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/ros-overlay.txt b/ros-overlay.txt index 626c428acac7..e1603fbebc1f 100644 --- a/ros-overlay.txt +++ b/ros-overlay.txt @@ -7,7 +7,17 @@ 'source': [{'type': 'git', 'uri': 'git://github.com/ros/ros-overlay.git'}], 'status': 'unofficial'} $ pmaint sync ros-overlay -Already up to date. +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 *** syncing ros-overlay *** synced ros-overlay * Sync succeeded |