comparison src/w32inevt.h @ 17968:515056981900

(Info-exit): Use bury-buffer simply.
author Richard M. Stallman <rms@gnu.org>
date Tue, 27 May 1997 05:02:45 +0000
parents c686d4f3728a
children 56104212fe5c
comparison
equal deleted inserted replaced
17967:08bf89d739cd 17968:515056981900