From 1baea2b15bfdefacdbeccc1a626f5402b4ace99c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 12 Dec 2007 20:07:52 +0000
Subject: Deleted file

---
 IMPORTANT | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100644 IMPORTANT

(limited to 'IMPORTANT')

diff --git a/IMPORTANT b/IMPORTANT
deleted file mode 100644
index a597085f..00000000
--- a/IMPORTANT
+++ /dev/null
@@ -1,9 +0,0 @@
-  IMPORTANT NOTE: Please note that proofgeneral.org is no longer owned
-  by the Proof General project; please update your links to use the
-  new web address http://proofgeneral.inf.ed.ac.uk.  
-
-  Report bugs, feedback, suggestions directly to me.  It helps if you
-  use an appropriate "+"-extension to my mail address, e.g.
-		
-	David Aspinall <da+pg-feedback@inf.ed.ac.uk>
- 
-- 
cgit v1.2.3