From 356dc53b2615b54c4d3b2b49d103d18b8cbee1dd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 12 Dec 2007 20:23:25 +0000
Subject: Deleted file

---
 NOTE | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100644 NOTE

(limited to 'NOTE')

diff --git a/NOTE b/NOTE
deleted file mode 100644
index b21a5ef0..00000000
--- a/NOTE
+++ /dev/null
@@ -1,5 +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.                    |
-=========================================================================
-- 
cgit v1.2.3