From b0bff4f48b2de88560199be09e5a29feecaa267c Mon Sep 17 00:00:00 2001
From: Patrick Simianer <simianer@cl.uni-heidelberg.de>
Date: Mon, 14 Apr 2014 16:05:40 +0200
Subject: smt-semparse

---
 .gitignore | 2 --
 1 file changed, 2 deletions(-)
 delete mode 100644 .gitignore

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
deleted file mode 100644
index 1509677..0000000
--- a/.gitignore
+++ /dev/null
@@ -1,2 +0,0 @@
-prototype
-proper
-- 
cgit v1.2.3