summaryrefslogtreecommitdiff
path: root/manual/.gitignore
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-01-27 17:08:19 +0100
committerClifford Wolf <clifford@clifford.at>2014-01-27 17:08:19 +0100
commitfb4c3dff331f617bb04d2d07a47a0168d3ec2967 (patch)
treea59060d787122982d632e07c086631b2e5ab53b2 /manual/.gitignore
parentfa103e55ad24ee32c58ded660979c81980d14ab1 (diff)
Added first presentation slides
Diffstat (limited to 'manual/.gitignore')
-rw-r--r--manual/.gitignore2
1 files changed, 2 insertions, 0 deletions
diff --git a/manual/.gitignore b/manual/.gitignore
index 7412c4d4..8ae9cbde 100644
--- a/manual/.gitignore
+++ b/manual/.gitignore
@@ -6,4 +6,6 @@
*.out
*.pdf
*.toc
+*.snm
+*.nav
*.ok