ros/rosdistro — pull request #5030 by nwotero (2014-07-17 17:01:35+00:00)
Title: Adding my_repo_name to documentation index for distro

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