diff options
author | Andrew Cady <d@jerkface.net> | 2015-10-04 16:28:03 +0200 |
---|---|---|
committer | Andrew Cady <d@jerkface.net> | 2015-10-04 16:28:03 +0200 |
commit | c25e51572f7fa61b720cd1fcfb9f8ddaf0adc917 (patch) | |
tree | d9e021048b052f2d4e6292db6edf9e75bda4d2df /dot/local/bin/ghci | |
parent | 2ea5eb5415341de3e5b0a92ffb9779207e2bfdaf (diff) |
fixed ghc/ghci/runghc on $PATH
Diffstat (limited to 'dot/local/bin/ghci')
l--------- | dot/local/bin/ghci | 1 |
1 files changed, 0 insertions, 1 deletions
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 @@ | |||
1 | ghc \ No newline at end of file | ||