rare file weggehaald

[sec1415.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 6ab5fb3..ce4067a 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -3,3 +3,4 @@
 *.out
 *.pdf
 *.toc
+*.gz