ros/rosdistro — pull request #3421 by ronnyh (2014-03-07 14:37:28+00:00)
Title: Adding ros_dds_proxies to documentation index for groovy

I would like to add ros_dds_proxies to be indexed and documented.