uos/uos_tools — pull request #3 by d00fy (2013-09-12 12:20:30+00:00)
Title: updated launch file for gazebo world.

-added gui parameter