From c25e51572f7fa61b720cd1fcfb9f8ddaf0adc917 Mon Sep 17 00:00:00 2001 From: Andrew Cady Date: Sun, 4 Oct 2015 16:28:03 +0200 Subject: fixed ghc/ghci/runghc on $PATH --- dot/local/bin/ghci | 1 - 1 file changed, 1 deletion(-) delete mode 120000 dot/local/bin/ghci (limited to 'dot/local/bin/ghci') diff --git a/dot/local/bin/ghci b/dot/local/bin/ghci deleted file mode 120000 index a064d26..0000000 --- a/dot/local/bin/ghci +++ /dev/null @@ -1 +0,0 @@ -ghc \ No newline at end of file -- cgit v1.2.3