Actividad pública reciente
Ha empezado a seguir a 
Jorge Vila
Jorge Vila
Ha valorado "Excelente" la respuesta
Cambio de extensiones
Para cambiar la extensión simplemente selecciona el fichero y pulsa F2, entonces te dejará cambiar la extensión. Si estás en Windows, asegúrate de ver las extensiones de los archivos seleccionando en Opciones de Carpeta y deseleccionando lo de...