From efd12053afe9bda0ecb3a6da586ca5d4f944db5a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=B6nke=20Hahn?= Date: Mon, 18 Jan 2016 10:47:10 +0100 Subject: [PATCH] servant-docs: add .ghci --- servant-docs/.ghci | 1 + 1 file changed, 1 insertion(+) create mode 100644 servant-docs/.ghci diff --git a/servant-docs/.ghci b/servant-docs/.ghci new file mode 100644 index 00000000..0ba46fd4 --- /dev/null +++ b/servant-docs/.ghci @@ -0,0 +1 @@ +:set -itest -isrc -Iinclude