It seems that the web publishing of the skolelinux svn directories does not work as of 16th of june? Has some services stopped? Regards Knut Yrvin