From 73f792e675e4fee899f623c79b79b6770fd500f8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 26 Oct 1998 14:09:04 +0000
Subject: Removed a newline

---
 generic/proof-splash.el | 1 -
 1 file changed, 1 deletion(-)

diff --git a/generic/proof-splash.el b/generic/proof-splash.el
index 4e6cf953..f5e83ee3 100644
--- a/generic/proof-splash.el
+++ b/generic/proof-splash.el
@@ -52,7 +52,6 @@ Gif filename depends on colour depth of display."
    (proof-splash-display-image "ProofGeneral")
    nil
    "Welcome to"
-   nil
    (concat proof-assistant " Proof General!")
    nil)
   "*List defining splash screen displayed when Proof General is started.
-- 
cgit v1.2.3