
27 Jun
2001
27 Jun
'01
4:32 a.m.
Maybe I'm the only one who happens to type :q! to leave ghci all the time, maybe not. Would somebody object to a patch which will cause ghci to quit on ":q!"? -- Volker Stolz * vs@foldr.org * PGP + S/MIME