diff options
author | Egor Tensin <Egor.Tensin@gmail.com> | 2016-08-17 22:31:28 +0200 |
---|---|---|
committer | Egor Tensin <Egor.Tensin@gmail.com> | 2016-08-17 22:31:28 +0200 |
commit | 12f5535a178f74adac36237894ffe08e27b7d449 (patch) | |
tree | 666d4a701293f83800d5e87f0cc1e0020c96f1f7 /.GHC/ghci.conf | |
parent | code style (diff) | |
download | linux-home-12f5535a178f74adac36237894ffe08e27b7d449.tar.gz linux-home-12f5535a178f74adac36237894ffe08e27b7d449.zip |
move Windows-specific stuff to .appdata/
Diffstat (limited to '.GHC/ghci.conf')
-rw-r--r-- | .GHC/ghci.conf | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/.GHC/ghci.conf b/.GHC/ghci.conf deleted file mode 100644 index 45a1338..0000000 --- a/.GHC/ghci.conf +++ /dev/null @@ -1,8 +0,0 @@ -:set prompt "> " -:set prompt2 "" - -:seti -w - -:def hoogle \x -> return $ ":!hoogle \"" ++ x ++ "\"" - -:set -XOverloadedStrings |