ros/rosdistro — pull request #4765 by meyerj (2014-06-17 09:16:20+00:00)
Title: Updated source and doc uris for orocos_toolchain repos

Moved from Gitorious to GitHub.