ros-infrastructure/jenkins_scripts — pull request #50 by dirk-thomas (2013-08-28 18:46:23+00:00)
Title: change doc upload urls to osu

@tfoote Please review and merge.