From 99e37051a544a2abd801f4ec69106bcb93f9e508 Mon Sep 17 00:00:00 2001 From: Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> Date: Fri, 11 Apr 2014 16:52:23 +0100 Subject: [PATCH] We don't actually want unicode here --- html-test/src/Bug85.hs | 1 - 1 file changed, 1 deletion(-) diff --git a/html-test/src/Bug85.hs b/html-test/src/Bug85.hs index 9c5b768b16..e29b2662ea 100644 --- a/html-test/src/Bug85.hs +++ b/html-test/src/Bug85.hs @@ -1,5 +1,4 @@ {-# LANGUAGE GADTs, KindSignatures #-} -{-# OPTIONS_HADDOCK use-unicode #-} module Bug85 where -- explicitly stated non-trivial kind -- GitLab