From 88e4b465f9885e0cc3a2e23da4049121f89c3765 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 21 Sep 2000 16:19:54 +0000
Subject: Newlines.

---
 generic/proof-config.el | 2 --
 1 file changed, 2 deletions(-)

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 6b209999..cc19b090 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -71,8 +71,6 @@
 
 (require 'proof-utils)			;; Macros used below
 
-
-
 
 ;;
 ;; 1. User options for proof mode
-- 
cgit v1.2.3