Pongo en .gitignore a Informe.log y a Informe.pdf porque son muy molestos los conflictos y los pusheos de basura.