prot1: ergebnisse angepasst

[dide_16.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 42f189cc77b38db0b334ad4aa855f429954a56b8..e7da8f8c09388383707e4eab5d803f3ef32d54f5 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,6 @@
 *.aux
 *.log
+*.toc
 *.dv
 *.to
 *.out