Restore the terminal attributes even if ghci does not exit normally.
authorJudah Jacobson <judah.jacobson@gmail.com>
Mon, 20 Oct 2008 16:41:09 +0000 (16:41 +0000)
committerJudah Jacobson <judah.jacobson@gmail.com>
Mon, 20 Oct 2008 16:41:09 +0000 (16:41 +0000)

No differences found