From b668ec516b689f06396b0205b20cf9bce16be94d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 25 Aug 2010 15:09:39 +0000
Subject: Renamed from plastic/README to obsolete/plastic/README

---
 plastic/README | 12 ------------
 1 file changed, 12 deletions(-)
 delete mode 100644 plastic/README

diff --git a/plastic/README b/plastic/README
deleted file mode 100644
index 881f5b5d..00000000
--- a/plastic/README
+++ /dev/null
@@ -1,12 +0,0 @@
-Plastic Proof General
-
-Written by Paul Callaghan
-
-Status:		  under development together with Plastic
-Maintainer:	  Paul Callaghan
-Plastic homepage: http://www.dur.ac.uk/CARG/plastic.html
-
-========================================
-
-$Id$
-
-- 
cgit v1.2.3