remove student number

[ri1617.git] / .gitignore

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