diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2018-12-12 16:23:42 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2018-12-12 16:23:42 +0000 |
| commit | 691f7ae94aad3126de1ed10d2d2b7b32f5ae1925 (patch) | |
| tree | c712930ad394e05a45da3911fca7bc3b731fc2a1 /ros-overlay.txt | |
| parent | 2018-12-12T16:00:01Z (diff) | |
| download | repos-691f7ae94aad3126de1ed10d2d2b7b32f5ae1925.tar.gz repos-691f7ae94aad3126de1ed10d2d2b7b32f5ae1925.tar.bz2 repos-691f7ae94aad3126de1ed10d2d2b7b32f5ae1925.zip | |
2018-12-12T16:20:01Z
Diffstat (limited to 'ros-overlay.txt')
| -rw-r--r-- | ros-overlay.txt | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/ros-overlay.txt b/ros-overlay.txt index fd0700728b0f..34227c5ab9e6 100644 --- a/ros-overlay.txt +++ b/ros-overlay.txt @@ -11,15 +11,7 @@ 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 -From git://github.com/ros/ros-overlay - 98f9546c6..6eaa7cd18 master -> origin/master -Updating 98f9546c6..6eaa7cd18 -Fast-forward - sci-electronics/gazebo/Manifest | 3 +- - ...10-support-for-Ogre-SharedPtr-which-is-no.patch | 1331 ++++++++++++++++++++ - sci-electronics/gazebo/gazebo-9.4.1.ebuild | 1 + - 3 files changed, 1334 insertions(+), 1 deletion(-) - create mode 100644 sci-electronics/gazebo/files/gazebo-9.4.1-0005-Add-OGRE-1.10-support-for-Ogre-SharedPtr-which-is-no.patch +Already up to date. *** synced ros-overlay * Sync succeeded $ git log --format=%ci -1 |