ros/rosdistro — pull request #290 by tstoyanov (2012-12-21 10:48:41+00:00)
Title: Documentation build for oru-ros-pkg

Hi, I would like to add the oru-ros-pkg repository to the documentation build with the new system. Thanks!