ros-industrial/jenkins_config — pull request #20 by jrgnicho (2014-01-31 18:18:34+00:00)
Title: Ros industrial

Merging changes described in #17 into master.