Thanks Dirk!!!
It's looking much better now!
The whole wiki changes and the move to catkin have been messing everything up for me! It's been a real pain keeping up!
Best regards,
Gonçalo Cabrita
On Oct 8, 2013, at 9:03 PM, Dirk Thomas <
dthomas@osrfoundation.org> wrote:
> The Wiki search results have been really bad in the recent past.
> Most of the time even the search for a package name did not result in showing the corresponding ROS wiki page in the result set.
>
> I have updated the custom Google search and it seems to return much more reasonable results now.
> If you have abandoned the Wiki search box because of that you might want to give it another try next time you look for something...
>
> Cheers,
> - Dirk
> _______________________________________________
> ros-users mailing list
> ros-users@code.ros.org
> http://lists.ros.org/mailman/listinfo/ros-users
(text/plain)