fix accent (TODO: fix gitweb...)
[ppam-mpi.git] / .gitignore
index 9baa2c6..112c581 100644 (file)
@@ -1,2 +1,9 @@
 /code/build/*
 /code/data/src/
+
+*.aux
+*.log
+*.nav
+*.snm
+*.toc
+*.out