diff src/w16select.c @ 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 5c31b98be973
children 7a310ef91b2d
line wrap: on
line diff