Remove glasgow-exts from :help
authorKrzysztof Gogolewski <krz.gogolewski@gmail.com>
Tue, 1 Oct 2013 13:58:07 +0000 (15:58 +0200)
committerKrzysztof Gogolewski <krz.gogolewski@gmail.com>
Wed, 2 Oct 2013 09:44:53 +0000 (11:44 +0200)
commita15ece4eb480556505d5c1a6dcf4ce045f5debea
tree295d1aeb8e9ca608aefdfa23e30a51ee4ac7a820
parent5af8ae596b1766b06130dbc8a0cac6604f13e88b
Remove glasgow-exts from :help

It's deprecated
ghc/InteractiveUI.hs