ros/rosdistro — pull request #132 by stephanemagnenat (2012-10-25 20:00:23+00:00)
Title: Added ethz-asl repos to the new indexation system

Please add ethz-asl repos to the new indexation system, thank you.