[ros-users] request for help: mirroring and better wiki exporting

[Brian Gerkey]

On Fri, Nov 18, 2011 at 11:50 AM, Benjamin Cohen <bencohen2 at gmail.com> wrote:
> The ROS docs part of the penn mirror is now setup and the script is still
> downloading the docs api part of the wiki. It should be done in a couple of
> hours.
>
> Our mirror can be found at www.pennros.org.
>
> I updated the mirrors page (http://www.ros.org/wiki/Mirrors) accordingly.

Fantastic, thanks!

	brian.