diff src/w32menu.c @ 32617:5bc952938b50

(fancy-splash-screens): Use fancy-splash-delay.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 18 Oct 2000 14:27:20 +0000
parents cd392fdf0e9f
children bbd3be4db5f2
line wrap: on
line diff