From bb71305088ba509cae57367974e6033c24db20ab Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Sat, 24 Mar 2012 17:21:03 -0400 Subject: add a .ghci file to make ghci easier to use in git-annex --- .ghci | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 .ghci (limited to '.ghci') diff --git a/.ghci b/.ghci new file mode 100644 index 000000000..37258aefe --- /dev/null +++ b/.ghci @@ -0,0 +1,3 @@ +-- make ghci use precompiled modules, and C library +:set -outputdir=tmp +:set -IUtility -- cgit v1.2.3