diff src/s/usg5-4-2.h @ 21003:fd244f615d9d

(info): Always switch to buffer *info* even if current buffer is in Info mode.
author Richard M. Stallman <rms@gnu.org>
date Fri, 27 Feb 1998 23:30:11 +0000
parents 664012a3216e
children 2a9a4a0589dd
line wrap: on
line diff