This page is a wiki. Please login or create an account to begin editing.

4 posts / 0 new
Last post
NucAr's picture
Joined: 2012 Aug 17 mirror?

What happened to


fogWraith's picture
Joined: 2009 Oct 23

I wouldn't worry too much, it's coming back. Smile

max1zzz's picture
Joined: 2010 Oct 3

Indeed, the original mirror was not complete (The FTP sync never really worked very well) so we ended up doing a complete new copy with rsync which is in the process of being moved to the public facing server. The mirror will be back soon Smile

Emilejab's picture
Joined: 2019 Sep 29

I congratulate, the excellent answer.