ros-infrastructure/jenkins_tools — pull request #18 by dirk-thomas (2014-01-24 00:27:00+00:00)
Title: update for rosdistro version implementing rep141

Do not merge yet!

Depends on ros-infrastructure/rosdistro#37