update praatje

[ri1617.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 25b17b3..585431c 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -9,3 +9,6 @@
 *.tdo
 *.toc
 *.mlog
+*.nav
+*.snm
+*.vrb