ros-infrastructure/jenkins_tools — pull request #24 by dirk-thomas (2014-12-26 19:42:10+00:00)
Title: add ubuntu distro for jade for devel and doc jobs, clarify ubuntu distros for prereleases

@esteve @wjwwood @tfoote Please review.