comparison configure1.in @ 5888:0d02ee7ee659

(read_filtered_event): Retry read_char after a buffer change.
author Karl Heuer <kwzh@gnu.org>
date Fri, 11 Feb 1994 01:29:24 +0000
parents 907e14c58c65
children 5b5d6e2f65d1
comparison
equal deleted inserted replaced
5887:c4030d39f26d 5888:0d02ee7ee659