diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2020-02-08 01:25:51 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2020-02-08 01:25:51 +0000 |
| commit | 666c1ec3678e83c84a2316db24c4afd9fe003f1a (patch) | |
| tree | 863250dd3b58c5318045b08fd6146339a88b7e56 /ros-overlay.txt | |
| parent | 2020-02-08T00:40:01Z (diff) | |
| download | repos-666c1ec3678e83c84a2316db24c4afd9fe003f1a.tar.gz repos-666c1ec3678e83c84a2316db24c4afd9fe003f1a.tar.bz2 repos-666c1ec3678e83c84a2316db24c4afd9fe003f1a.zip | |
2020-02-08T01:20:01Z
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 |