diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1998-10-26 14:09:04 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-26 14:09:04 +0000 |
commit | 73f792e675e4fee899f623c79b79b6770fd500f8 (patch) | |
tree | 1c03e359ea772bdbfa3e04c86bfb9b0e06a3be4c /generic | |
parent | 670f4cfbdd575815ebc20ed419a4b17667637221 (diff) |
Removed a newline
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-splash.el | 1 |
1 files changed, 0 insertions, 1 deletions
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. |