diff man/misc.texi @ 30722:1c138ac4bf6d

(Qredisplay_dont_pause): Declare extern.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 09 Aug 2000 18:41:00 +0000
parents 203ba1f77b7b
children c17c1380a43d
line wrap: on
line diff