ros/rosdistro — pull request #6686 by dirk-thomas (2014-12-26 19:22:22+00:00)
Title: change urls in rosdep default list to use raw.githubusercontent.com

As recommended by GitHub some time ago.

@esteve @tfoote @wjwwood Please review.