catkin/catkin_tools — pull request #56 by NikolausDemmel (2014-05-30 07:34:07+00:00)
Title: Added note about interface not being stable.

In response to #39