From 6d06073ac1917748f13739d430202064407b00d5 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 1 Oct 1998 17:43:13 +0000 Subject: Updated maintainer tags to remove lego email address. --- images/README | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'images') diff --git a/images/README b/images/README index a487c929..e9bc5489 100644 --- a/images/README +++ b/images/README @@ -1,10 +1,16 @@ +$Id$ + Icons for Proof General. David Aspinall -$Id$ +Contact: Proof General maintainer The images in this directory were made with The Gimp (check www.gimp.org). + + + + -- cgit v1.2.3