catkin/catkin_tools — pull request #73 by davetcoleman (2014-06-20 08:40:10+00:00)
Title: Document run tests

See https://github.com/catkin/catkin_tools/issues/72