ros-infrastructure/rosdistro — pull request #8 by po1 (2013-04-17 00:40:02+00:00)
Title: Add user and global config files for rosdistro

So that one can specify the index url