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

Top Page
This message is part of the following thread:
Mthe complete thread tree sorted by date
MUser discussions at <-
MUser discussions at ->
Attachments:
Message as email
+ (text/plain)
Delete this message
Reply to this message
Author: User discussions
Date:  
To: User discussions
Subject: Re: [ros-users] request for help: mirroring and better wiki exporting
On Fri, Nov 18, 2011 at 11:50 AM, Benjamin Cohen <> 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.


This message was posted to the following mailing lists:
ros-users
Mailing List Info | Nearby Messages		<-Re: [ros-users] request for help: mirroring and better wiki exportingRe: [ros-users] request for help: mirroring and better wiki exporting->
lists.ros.org list archives administrated by ros.orgLurker (version 2.3)