git - terminacion - como cambiar la extension de un archivo en windows 7 home premium - edu.lat