Simply awesome. Can we please replace or redirect
http://www.ros.org/browse/
? :)
On Wed, Jan 28, 2015 at 8:45 AM, Tully Foote <
tfoote@osrfoundation.org>
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
>
>
_______________________________________________
ros-users mailing list
ros-users@lists.ros.org
http://lists.ros.org/mailman/listinfo/ros-users
(text/plain)