diff src/.dbxinit @ 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 18e524802887
children
line wrap: on
line diff