summaryrefslogtreecommitdiff
path: root/.ghci
diff options
context:
space:
mode:
Diffstat (limited to '.ghci')
-rw-r--r--.ghci1
1 files changed, 0 insertions, 1 deletions
diff --git a/.ghci b/.ghci
deleted file mode 100644
index d709f9d..0000000
--- a/.ghci
+++ /dev/null
@@ -1 +0,0 @@
-:set -isrc -itests -idist/build/autogen -DPREVIEW_SERVER