ros/rosdistro — pull request #265 by IngoKresse (2012-12-07 15:37:38+00:00)
Title: changed address of tum-ros-pkg

With SourceForge's new-and-shiny platform, the
Repository URL has changed.