utilisation de .gitignore pour filtrer les fichiers issus de la compilation

2013-01-08 10:08:23 +01:00 · 2013-01-08 10:08:23 +01:00 · 6b8e3556e1
parent 7200925207
commit 6b8e3556e1
1 changed files with 8 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@ -0,0 +1,8 @@
+*.aux
+*.log
+*.out
+*.nav
+*.toc
+*.pdf
+*.snm
+*.synctex.gz