diff man/mule.texi @ 36255:1890bad59762

Use display_hourglass_p, start_hourglass, cancel_hourglass instead of the old names.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 21 Feb 2001 13:57:40 +0000
parents 62cf166239f3
children 11db0318031d
line wrap: on
line diff