Dr. Lecter
2004-06-05 19:34:07 UTC
Necesito cambiarle la extensión a nombre a un montón de ficheros.
¿Hay alguna utilidad para hacerlo con una selección de ficheros
o con todos los archivos de un directorio completo?
Gracias.
¿Hay alguna utilidad para hacerlo con una selección de ficheros
o con todos los archivos de un directorio completo?
Gracias.