ros-infrastructure/rep — pull request #62 by dirk-thomas (2013-10-11 17:25:36+00:00)
Title: update rep 137 to latest catkin_make_isolated

@tfoote Please review.