From 6c738c012cbadad206ed385f2cc0cddae02273f1 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 23 Sep 2000 14:30:49 +0000
Subject: Updated

---
 generic/README | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'generic')

diff --git a/generic/README b/generic/README
index 828d76e5..8f87fa14 100644
--- a/generic/README
+++ b/generic/README
@@ -10,3 +10,5 @@ and David Aspinall.
 
 Several other people helped with contributions and modifications, see
 individual credits in the code or summary in the Proof General manual.
+
+Contributions to the generic basis are welcome!
-- 
cgit v1.2.3