diff man/basic.texi @ 40151:1f91376b485b

(redisplay-dont-pause): Don't set.
author Jason Rumney <jasonr@gnu.org>
date Sun, 21 Oct 2001 17:15:18 +0000
parents 3b40423b9355
children c66f34e7d2cd
line wrap: on
line diff