ros/rosdistro — pull request #752 by lionel67 (2013-04-25 20:47:15+00:00)
Title: Adding my repo to doc index for distro

I'd like my repo to be indexed and documented on ros.org