beginnetje

[linuxnijmegen-make.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index cb6750c..211afd9 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -4,3 +4,4 @@
 *.out
 *.snm
 *.nav
+*.toc