ports
Por cierto, al final como quedó el index de ports? Es que no lo veo
actualizado. Se supone que aún os tenía que enviar algo? Si es así me he
despistado un poco.
En principio lo único que había que modificar era lo de "el núcleo de linux"
por "el núcleo linux", que os lo envié el 22 de junio.
Nada más. Un saludo
--
---------------------------------
Ignacio García Fernández
ignacio.garcia@uv.es
'Un matemático es un ciego en un cuarto oscuro
buscando un gato negro que no está allí'
C. Darwin.
Reply to: