Add shell.nix

[perso/Denise/aventuriers.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index eb6313623d067b3b0665a79f347b06036772ed45..edbc8381a70836a8fd9844efa05549c224cc45b6 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,17 @@
 *.log
 *.aux
 *~
+*.css
+*.tmp
+*.4ct
+*.4tc
+*.dvi
+*.idv
+*.lg
+*.out
+*.xref
+*.pdf
+*.html
+*.png
+*.mobi
+*.toc