summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorGuido Günther <agx@sigxcpu.org>2013-07-13 14:53:22 +0200
committerGuido Günther <agx@sigxcpu.org>2013-07-13 14:54:16 +0200
commitb078b0be828767eef10ca9fcead5606b4cd4c75a (patch)
tree19213cb6f9753fc77c700fdaf594627ab3807e52 /.gitignore
parent6b9cccae9aeda771b655680a09fb371718e44f31 (diff)
Add Makefile and .gitignore
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore8
1 files changed, 8 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..a9d727c
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,8 @@
+*.vrb
+*.snm
+*.aux
+*.toc
+*.out
+*.nav
+*.log
+*~