From 2b2e64312cc9ddce33287eb7437362d0da4d317c Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Thu, 15 Jan 2015 14:55:40 +0100
Subject: [PATCH] more ignorance

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index c624410..7ccc275 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
+proposal.ctan.zip
 auto
 *.acn
 *.acr