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..6158f130ce22 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 + 6e3f3b5ee..63e674495 master -> origin/master +Updating 6e3f3b5ee..63e674495 +Fast-forward + ros-crystal/webots_ros2/Manifest | 3 ++ + ros-crystal/webots_ros2/metadata.xml | 18 +++++++++++ + .../webots_ros2/webots_ros2-0.0.1-r2.ebuild | 35 ++++++++++++++++++++++ + 3 files changed, 56 insertions(+) + create mode 100644 ros-crystal/webots_ros2/Manifest + create mode 100644 ros-crystal/webots_ros2/metadata.xml + create mode 100644 ros-crystal/webots_ros2/webots_ros2-0.0.1-r2.ebuild *** syncing ros-overlay *** synced ros-overlay * Sync succeeded |