ros-planning/moveit_ros — pull request #355 by davetcoleman (2013-10-30 21:31:12+00:00)
Title: Benchmarking gui enhancements

I wouldn't merge this until https://github.com/ros-planning/moveit_ros/issues/354 is resolved since I can't fully test my changes.