catkin/catkin_simple — pull request #9 by dirk-thomas (2013-10-17 22:19:22+00:00)
Title: propagate catkin dependency downstream

@wjwwood Please merge