27 Jun
2001
27 Jun
'01
7 a.m.
At 2001-06-27 01:41, Michael Weber wrote:
Would somebody object to a patch which will cause ghci to quit on ":q!"?
Oh, and I want C-x C-c ... and C-K Q while we're at it... ;-p
Ya wusses. "kill -9" from another shell is the way to go. -- Ashley Yakeley, Seattle WA