Dear -jon, +1 cool tool! Already helped me out 3 times, this week. Thanks a lot for making and sharing this! Cheers, Georg. On 01/28/2015 03:38 AM, Jonathan Bohren wrote: > This started as a holiday-hack / side-project, but now it's a pretty usable > tool. > > http://rosindex.github.io/ > > Pretty much speaks for itself. Feedback (and contributions) welcome! > > Now back to real work. > -jon > > > > _______________________________________________ > ros-users mailing list > ros-users@lists.ros.org > http://lists.ros.org/mailman/listinfo/ros-users > _______________________________________________ ros-users mailing list ros-users@lists.ros.org http://lists.ros.org/mailman/listinfo/ros-users