diff make-dist @ 3174:719776bc7f7d

(read_char): Correct previous change.
author Richard M. Stallman <rms@gnu.org>
date Thu, 27 May 1993 06:18:44 +0000
parents b18adae0a424
children 3d245dcabb93
line wrap: on
line diff