diff etc/TUTORIAL.pl @ 34129:9aede9b4161c

(use-fancy-splash-screens-p): New function. (command-line-1): Use it to determine whether or not to use a fancy splash screen.
author Gerd Moellmann <gerd@gnu.org>
date Sat, 02 Dec 2000 20:17:48 +0000
parents e96ffe544684
children e7e9b4581430
line wrap: on
line diff