search

vcstools / rosinstall

Other
10 stars 21 forks source link

wg_boxturtle_devel.rosinstall is 404 #111

Closed jayvdb closed 4 years ago

jayvdb commented 6 years ago

http://www.ros.org/rosinstalls/ doesnt include wg_boxturtle_devel.rosinstall

$ git grep 'wg_boxturtle_devel.rosinstall'
doc/rosinstall_usage.rst:    rosinstall ~/workspace /opt/ros/boxturtle http://www.ros.org/rosinstalls/wg_boxturtle_devel.rosinstall
doc/rosinstall_usage.rst:    rosinstall ~/workspace http://www.ros.org/rosinstalls/wg_boxturtle_devel.rosinstall
dirk-thomas commented 4 years ago

Closing since the repository is about to be archived: see #126.