ros/rosdistro — pull request #322 by adolfo-rt (2013-01-04 11:57:31+00:00)
Title: Add pal-ros-pkg to doc index for rosdistro.

We'd like to re-index our repos, which got lost with the changes rosdistro underwent in recent months.

TIA