ros-infrastructure/rosinstall_generator — pull request #13 by dirk-thomas (2014-01-23 20:38:04+00:00)
Title: update for rosdistro version implementing rep141

Do not merge yet!

Depends on ros-infrastructure/rosdistro#37