Deleting .log file.

This commit is contained in:
Trullemans Gregory 2016-05-30 14:10:20 +02:00
parent 132799be94
commit ce5e6ba054
2 changed files with 7 additions and 1667 deletions

11
.gitignore vendored
View File

@ -1,5 +1,8 @@
*.aux
*.out
*.pdf
*.gz
*.toc
*.pdf
*.aux
*.log
*.nav
*.out
*.snm
*.gz

File diff suppressed because it is too large Load Diff