ros-infrastructure/rosdistro — pull request #47 by dirk-thomas (2014-12-26 19:52:36+00:00)
Title: change default index url to use raw.githubusercontent.com

@esteve @wjwwood @tfoote Please review.