diff etc/INTERVIEW @ 46106:8ce1177d6f2e

(redisplay_internal): Make optional_new_start really work.
author Richard M. Stallman <rms@gnu.org>
date Mon, 01 Jul 2002 07:55:03 +0000
parents 6b5aacec5ace
children c53a9463c31a
line wrap: on
line diff