ros-industrial/jenkins_config — pull request #11 by jrgnicho (2013-10-10 20:11:59+00:00)
Title: Issue #10 update plugins

This merge addresses issue#10