From 96ce8a297c53222b1b7ef783e7cc5f5a6376db3f Mon Sep 17 00:00:00 2001
From: Joey Hess <joey@kitenet.net>
Date: Wed, 27 Feb 2013 02:29:20 -0400
Subject: clean up old imports

---
 ghci | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100755 ghci

(limited to 'ghci')

diff --git a/ghci b/ghci
deleted file mode 100755
index d25519e3c..000000000
--- a/ghci
+++ /dev/null
@@ -1,5 +0,0 @@
-#!/bin/sh
-# This runs ghci with the same flags used when compiling with ghc.
-# Certian flags need to be the same in order for ghci to reuse compiled
-# objects.
-ghci $(make getflags | sed 's/-Wall//') $@
-- 
cgit v1.2.3