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

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

TIA.