diff config.bat @ 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 6722a8132e56
children 6fd0d497fc9c
line wrap: on
line diff