From ef44b6fa35dba1d24b746cd687b0c7b6d54a96cd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 9 Feb 2004 00:07:57 +0000
Subject: Updated.

---
 etc/proofgeneral-domain.txt | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/etc/proofgeneral-domain.txt b/etc/proofgeneral-domain.txt
index 0fd7abff..cfcf5cf4 100644
--- a/etc/proofgeneral-domain.txt
+++ b/etc/proofgeneral-domain.txt
@@ -1,5 +1,7 @@
-Notes about proofgeneral.org
-----------------------------
+
+
+Notes about proofgeneral.org  [obsolete!]
+-----------------------------------------
 
 Hosted by freeparking.co.uk.  
 
-- 
cgit v1.2.3