1 files changed, 0 insertions, 12 deletions
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$
-