catkin/catkin_tools — pull request #21 by wjwwood (2014-03-28 18:39:16+00:00)
Title: Issue 8 followup

Fixes issues discussed after merging of #18

@NikolausDemmel