diff src/buffer.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 e272d652619a
children fd3ece8a61e5
line wrap: on
line diff