From 25cc4e4e57c75834af022067b173fcaf94b2d446 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Mon, 26 Mar 2001 16:54:34 +0000
Subject: [PATCH] [project @ 2001-03-26 16:54:34 by simonmar] Moved into ghci
 subdirectory.

---
 ghc/driver/ghci.sh |    2 --
 1 file changed, 2 deletions(-)
 delete mode 100644 ghc/driver/ghci.sh

diff --git a/ghc/driver/ghci.sh b/ghc/driver/ghci.sh
deleted file mode 100644
index b020047..0000000
--- a/ghc/driver/ghci.sh
+++ /dev/null
@@ -1,2 +0,0 @@
-# Mini-driver for GHCi
-exec $GHCBIN $TOPDIROPT --interactive ${1+"$@"}
-- 
1.7.10.4