Automated mirror of VR Juggler Subversion repository, updated hourly (link goes to upstream)