diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2016-09-19 23:52:21 +0300 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2016-09-19 23:52:21 +0300 |
| commit | 1f49ec438444cce91fd453ee0ed3d5ca23481296 (patch) | |
| tree | 567a8df858a1c7485dee7e0609ea8ee5fdad24f9 /.appdata/ghc | |
| parent | README update (diff) | |
| download | linux-home-1f49ec438444cce91fd453ee0ed3d5ca23481296.tar.gz linux-home-1f49ec438444cce91fd453ee0ed3d5ca23481296.zip | |
export .appdata/ to another project
Diffstat (limited to '.appdata/ghc')
| -rw-r--r-- | .appdata/ghc/ghci.conf | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/.appdata/ghc/ghci.conf b/.appdata/ghc/ghci.conf deleted file mode 100644 index 0cb900e..0000000 --- a/.appdata/ghc/ghci.conf +++ /dev/null @@ -1,9 +0,0 @@ -:set prompt "> " -:set prompt2 "" - -:seti -w - -:def hoogle \x -> return $ ":!hoogle \"" ++ x ++ "\"" - -:set -XOverloadedStrings -:set -XTupleSections |