ros/rosdistro — pull request #832 by meyerj (2013-05-15 14:01:24+00:00)
Title: updated repository URLs for tu-darmstadt-ros-pkg stacks

We moved some more stacks from Google Code to Github.