Simply awesome. Can we please replace or redirect http://www.ros.org/browse/ ? :) On Wed, Jan 28, 2015 at 8:45 AM, Tully Foote wrote: > Hi Jon, > > Thanks for taking the time to polish it and finish it up! I know you've > been thinking about this problem for a while. It looks very useful. > > Tully > > On Tue, Jan 27, 2015 at 7:04 PM, William Woodall < > william@osrfoundation.org> wrote: > >> +1 >> >> On Tue, Jan 27, 2015 at 6:38 PM, Jonathan Bohren < >> jonathan.bohren@gmail.com> 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 >>> >>> >> >> >> -- >> William Woodall >> ROS Development Team >> william@osrfoundation.org >> http://wjwwood.io/ >> >> _______________________________________________ >> 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 > >