catkin/catkin_tools — pull request #16 by wjwwood (2014-03-27 19:12:46+00:00)
Title: align package build times by padding package names

Fixes #14