diff options
author | Joey Hess <joey@kitenet.net> | 2012-03-24 17:21:03 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2012-03-24 17:21:03 -0400 |
commit | bb71305088ba509cae57367974e6033c24db20ab (patch) | |
tree | bf14efa87f81de2c19474d5cb84accf64cf9e14c /.ghci | |
parent | a398db7885b5e5d2f97bd496f7c354e52145a441 (diff) |
add a .ghci file to make ghci easier to use in git-annex
Diffstat (limited to '.ghci')
-rw-r--r-- | .ghci | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -0,0 +1,3 @@ +-- make ghci use precompiled modules, and C library +:set -outputdir=tmp +:set -IUtility |