From 1f49ec438444cce91fd453ee0ed3d5ca23481296 Mon Sep 17 00:00:00 2001
From: Egor Tensin <Egor.Tensin@gmail.com>
Date: Mon, 19 Sep 2016 23:52:21 +0300
Subject: export .appdata/ to another project

---
 .appdata/ghc/ghci.conf | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100644 .appdata/ghc/ghci.conf

(limited to '.appdata/ghc')

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
-- 
cgit v1.2.3