catkin/catkin_tools — pull request #124 by wjwwood (2014-10-22 18:59:16+00:00)
Title: context: use terminal width function in common.py

Fixes #122.