From 6cb529fc5fd43a07b59efae380a204e614232b21 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=B6nke=20Hahn?= Date: Thu, 28 Jan 2016 14:16:05 +0100 Subject: [PATCH] tutorial: added working .ghci --- doc/tutorial/.ghci | 1 + 1 file changed, 1 insertion(+) create mode 100644 doc/tutorial/.ghci diff --git a/doc/tutorial/.ghci b/doc/tutorial/.ghci new file mode 100644 index 00000000..7d8e760c --- /dev/null +++ b/doc/tutorial/.ghci @@ -0,0 +1 @@ +:set -pgmL markdown-unlit -Wall -Werror -fno-warn-missing-methods -fno-warn-name-shadowing