catkin/catkin_simple — pull request #23 by furgalep (2014-10-02 11:20:51+00:00)
Title: Merge pull request #1 from catkin/master

Pulling in changes from catkin