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

[Brian Gerkey]

On Thu, Nov 17, 2011 at 9:12 PM, Kei Okada <k-okada at jsk.t.u-tokyo.ac.jp> wrote:
> I have finished the mirror site setup at
> http://ros.jsk.imi.i.u-tokyo.ac.jp/roswiki/
> Thanks for the nice document
> (http://answers.ros.org/question/977/create-a-rosorg-wiki-mirror). It
> will update every 0AM JST(7AM PST?).

Fantastic, thanks!

I added a Mirrors page: http://www.ros.org/wiki/Mirrors.

	brian.