From: Mart Lubbers <mart@martlubbers.net>
Date: Thu, 8 May 2014 08:51:14 +0000 (+0200)
Subject: rare file weggehaald
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=4c83b567aae432d436097d4cb9dda3d06ec7c42a;p=sec1415.git

rare file weggehaald
---

diff --git a/.gitignore b/.gitignore
index 6ab5fb3..ce4067a 100644
--- 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
index df0688d..0000000
Binary files a/project.synctex.gz and /dev/null differ