Wibble (change of flag name)
authorSimon Peyton Jones <simonpj@microsoft.com>
Tue, 1 Oct 2013 18:18:53 +0000 (19:18 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Tue, 1 Oct 2013 18:18:53 +0000 (19:18 +0100)
commitff07927eeda0b55f03798d29d52c5e89f6ad9753
tree602b3c0dfcd107be3d3b4f91dd0d127dfb9317f6
parent63f2eee8908e26779c73365ef3c58ade2b73fb6a
Wibble (change of flag name)
ghc/InteractiveUI.hs