Fichier .gitignore pour ignorer, lors de l'ajout automatique par git, les fichiers...

[mp-gdd.git] / .gitignore

diff --git a/.gitignore b/.gitignore
new file mode 100755 (executable)
index 0000000..6be5632
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,9 @@
+*~
+.#*
+
+*.aux
+*.nav
+*.snm
+*.tns
+*.toc
+*.vrb