ros/rosdistro — pull request #2708 by blackpc (2013-12-09 12:02:07+00:00)
Title: Adding decision_making to documentation index for distro

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

Thank you.