rare file weggehaald

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

diff --git a/project.synctex.gz b/project.synctex.gz
deleted file mode 100644 (file)
index df0688d..0000000
Binary files a/project.synctex.gz and /dev/null differ