diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2018-09-12 12:03:49 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2018-09-12 12:03:49 +0000 |
| commit | 0c1affe29f535849dc5982fee9af10fa0fc71026 (patch) | |
| tree | 706e5efa0e2b1c1eaeebe1c6be6316ed9912e479 /ros-overlay.txt | |
| parent | 2018-09-12T11:40:01Z (diff) | |
| download | repos-0c1affe29f535849dc5982fee9af10fa0fc71026.tar.gz repos-0c1affe29f535849dc5982fee9af10fa0fc71026.tar.bz2 repos-0c1affe29f535849dc5982fee9af10fa0fc71026.zip | |
2018-09-12T12:00:01Z
Diffstat (limited to 'ros-overlay.txt')
| -rw-r--r-- | ros-overlay.txt | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/ros-overlay.txt b/ros-overlay.txt index 34227c5ab9e6..8df94a8ea5ff 100644 --- a/ros-overlay.txt +++ b/ros-overlay.txt @@ -11,7 +11,20 @@ WARNING:pkgcore:'genthree' repo at '/var/lib/repo-mirror-ci/sync/genthree' has u WARNING:pkgcore:'xelnor' repo at '/var/lib/repo-mirror-ci/sync/xelnor' has unsupported profile format: build-id WARNING:pkgcore:'xelnor' repo at '/var/lib/repo-mirror-ci/sync/xelnor' has unsupported profile format: build-id *** syncing ros-overlay -Already up to date. +From git://github.com/ros/ros-overlay + 27d478f8c..b4b9546ba master -> origin/master +Updating 27d478f8c..b4b9546ba +Fast-forward + ros-kinetic/moveit_core/Manifest | 1 - + .../moveit_core/files/moveit_core-logging.patch | 3118 -------------------- + ros-kinetic/moveit_planners_ompl/Manifest | 1 - + .../files/moveit_planners_ompl-logging.patch | 602 ---- + ros-kinetic/moveit_ros_planning_interface/Manifest | 1 - + .../moveit_ros_planning_interface-logging.patch | 11 - + 6 files changed, 3734 deletions(-) + delete mode 100644 ros-kinetic/moveit_core/files/moveit_core-logging.patch + delete mode 100644 ros-kinetic/moveit_planners_ompl/files/moveit_planners_ompl-logging.patch + delete mode 100644 ros-kinetic/moveit_ros_planning_interface/files/moveit_ros_planning_interface-logging.patch *** synced ros-overlay * Sync succeeded $ git log --format=%ci -1 |