diff src/w32.c @ 28190:aa79cfcecd73

(read_integer): Unread the last char not consumed.
author Gerd Moellmann <gerd@gnu.org>
date Sat, 18 Mar 2000 01:04:28 +0000
parents 91be3fa84ccb
children f8b0ac62f238
line wrap: on
line diff