From 273bdd977fc4f23c0c01f841c240ac3e6d9ada38 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 27 Oct 1998 12:50:56 +0000
Subject: Temp disable splash

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

diff --git a/generic/proof.el b/generic/proof.el
index bd4669a6..2575cd2f 100644
--- a/generic/proof.el
+++ b/generic/proof.el
@@ -17,7 +17,7 @@
 
 (require 'proof-config)			; configuration variables
 
-(require 'proof-splash)			; splash screen
+;(require 'proof-splash)			; splash screen
 
 ;; FIXME da: I think these should all be autoloaded!!
 ;; (require 'cl)
-- 
cgit v1.2.3