ros-infrastructure/jenkins_tools — pull request #19 by dirk-thomas (2014-01-29 03:13:12+00:00)
Title: code style only

To make future work with this repo less painful I cleaned up the code style.

@tfoote @wjwwood Please review.