diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2019-12-13 16:05:40 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2019-12-13 16:05:40 +0000 |
| commit | 802796bcc0608b229978fabc12d79f21615c3cc1 (patch) | |
| tree | 72227ddffb1f4d2216b1c4b71f77a7912a527109 /ros-overlay.txt | |
| parent | 2019-12-13T15:40:01Z (diff) | |
| download | repos-802796bcc0608b229978fabc12d79f21615c3cc1.tar.gz repos-802796bcc0608b229978fabc12d79f21615c3cc1.tar.bz2 repos-802796bcc0608b229978fabc12d79f21615c3cc1.zip | |
2019-12-13T16:00:01Z
Diffstat (limited to 'ros-overlay.txt')
| -rw-r--r-- | ros-overlay.txt | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/ros-overlay.txt b/ros-overlay.txt index 0d82e81d6abb..626c428acac7 100644 --- a/ros-overlay.txt +++ b/ros-overlay.txt @@ -7,13 +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 - c11d1a93b..a8a5bc671 master -> origin/master -Updating c11d1a93b..a8a5bc671 -Fast-forward - ros-melodic/p2os_launch/Manifest | 2 +- - ros-melodic/p2os_launch/metadata.xml | 2 +- - 2 files changed, 2 insertions(+), 2 deletions(-) +Already up to date. *** syncing ros-overlay *** synced ros-overlay * Sync succeeded |