file

Espejo de solo lectura del repositorio CVS de archivos, actualizado cada media hora. NOTA: no realice pull requests aquí, ni comente commits; envíelos de la forma habitual al rastreador de errores o a la lista de correo. Los mantenedores no realizan seguimiento de este espejo git.