This is an old revision of the document!
.rosinstall
These files can be found one in the rosbuild
workspace, while the other one in the catkin
workspace. Their purpose is to include all the Github sources you want to install on your system.
They can be used by running:
wstool update