From bdcc98ef86c7de480bcabcb32e958ccf80298fba Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Fri, 4 Sep 2009 19:41:01 +0000
Subject: *** empty log message ***

---
 INSTALL | 1 -
 1 file changed, 1 deletion(-)

(limited to 'INSTALL')

diff --git a/INSTALL b/INSTALL
index fb4cea59..9e049127 100644
--- a/INSTALL
+++ b/INSTALL
@@ -118,7 +118,6 @@ shell script into perhaps sensible places.  Try with "-n" or examine
 the Makefile carefully before use.
 
   
-
 Removing support for unwanted provers
 -------------------------------------
 
-- 
cgit v1.2.3