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

Brian Gerkey gerkey at willowgarage.com
Fri Nov 18 20:10:11 UTC 2011

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!


More information about the ros-users mailing list