ros/rosdistro — pull request #1224 by gitdrrobot (2013-07-04 15:43:19+00:00)
Title: Modify the drrobot_jaguar_ros_pkg.rosinstall file

Modify the drrobot_jaguar_ros_pkg.rosinstall file and I'd like it to be indexed on ros.org