From f1b273f51df427eb20e83c368eea8abefa2e8d87 Mon Sep 17 00:00:00 2001 From: Damon Kohler Date: Fri, 2 Sep 2016 10:42:54 +0200 Subject: [PATCH] Removes unused repos from the rosinstall. (#42) --- cartographer_ros.rosinstall | 4 ---- 1 file changed, 4 deletions(-) diff --git a/cartographer_ros.rosinstall b/cartographer_ros.rosinstall index 22bf159..4d0fb77 100644 --- a/cartographer_ros.rosinstall +++ b/cartographer_ros.rosinstall @@ -1,6 +1,2 @@ - git: {local-name: src/cartographer, uri: 'https://github.com/googlecartographer/cartographer.git'} - git: {local-name: src/cartographer_ros, uri: 'https://github.com/googlecartographer/cartographer_ros.git'} -- git: {local-name: src/ceres_catkin, uri: 'https://github.com/ethz-asl/ceres_catkin.git'} -- git: {local-name: src/glog_catkin, uri: 'https://github.com/ethz-asl/glog_catkin.git'} -- git: {local-name: src/gflags_catkin, uri: 'https://github.com/ethz-asl/gflags_catkin.git'} -- git: {local-name: src/catkin_simple, uri: 'https://github.com/ethz-asl/catkin_simple.git'}