From f5af0303ddfa39596c6f5c7d966575050914c07c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 10 Dec 2007 11:08:52 +0000
Subject: Comments.

---
 generic/proof-splash.el | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/generic/proof-splash.el b/generic/proof-splash.el
index d35edf59..8e0df006 100644
--- a/generic/proof-splash.el
+++ b/generic/proof-splash.el
@@ -184,8 +184,7 @@ Borrowed from startup-center-spaces."
 		    (set-window-configuration (cdr proof-splash-timeout-conf)))
 		(if proof-running-on-XEmacs
 		    (redraw-frame nil t))))
-	  ;; Indicate that we have removed splash screen;
-	  ;; disable the timeout
+	  ;; Indicate removed splash screen; disable timeout
 	  (disable-timeout (car proof-splash-timeout-conf))
 	  (setq proof-splash-timeout-conf nil)
 	  (proof-splash-remove-buffer)))))
-- 
cgit v1.2.3