catkin/catkin_tools — pull request #62 by wjwwood (2014-06-06 07:39:31+00:00)
Title: build: made the --start-with option more robust

fixes #60