diff make-dist @ 28389:9ec5585e5e29

(Ftop_level): Cancel busy-cursor.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 29 Mar 2000 12:58:52 +0000
parents d6607102aa71
children 9eb6792eefac
line wrap: on
line diff