aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore14
1 files changed, 14 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..cb41e68
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,14 @@
+*~
+*.txt
+*.aux
+*.log
+*.pdf
+*.out
+*.auxlock
+config/mmap_*
+
+reproduce/build
+reproduce/BDIR/
+tex/pipeline.tex
+reproduce/SURVEY/
+reproduce/config/pipeline/DIRECTORIES.mk \ No newline at end of file