30 Sep
2004
30 Sep
'04
8 a.m.
Recently, when I exit hilfe with ^C, it doesn't reset the terminal correctly. Is this a recent change in hilfe, or is it my system?
If I exit with ^D, it resets the terminal, so I suspect Pike.