[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Input only readline port
From: |
Neil Jerram |
Subject: |
Re: Input only readline port |
Date: |
19 Jan 2001 09:09:07 +0000 |
>>>>> "Marius" == Marius Vollmer <address@hidden> writes:
Marius> Neil Jerram <address@hidden> writes:
>> So consistency with the non-readline case also suggests that
>> the readline port should be input only.
Marius> Agreed. I'll put this on my list of things to fix. If
Marius> someone beats me to it, I wouldn't complain... ;)
I've done this fix now.
Neil