From 1e5bdd6545541a995b162db2214e1b158473e830 Mon Sep 17 00:00:00 2001
From: Andres Loeh <andres@well-typed.com>
Date: Thu, 18 Feb 2016 15:49:26 +0100
Subject: [PATCH] Delete .ghci file.

---
 .ghci | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 .ghci

diff --git a/.ghci b/.ghci
deleted file mode 100644
index 93d9b991..00000000
--- a/.ghci
+++ /dev/null
@@ -1 +0,0 @@
-:set -itest -isrc -packagehspec2