ros/rosdistro — pull request #4812 by mikeferguson (2014-06-21 21:47:16+00:00)
Title: fix doc url for open_karto

as per https://github.com/ros/rosdistro/pull/4801#issuecomment-46765644