catkin/catkin_tools — pull request #19 by wjwwood (2014-03-27 22:48:12+00:00)
Title: added documentation about extending the catkin command with new verbs

Closes #12