diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1998-10-01 17:43:13 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-01 17:43:13 +0000 |
commit | 6d06073ac1917748f13739d430202064407b00d5 (patch) | |
tree | 233947f912271430117bc574577887022da88ce4 /images/README | |
parent | b24d17040eef9941d35f72e430a6bb0bda71b2c8 (diff) |
Updated maintainer tags to remove lego email address.
Diffstat (limited to 'images/README')
-rw-r--r-- | images/README | 8 |
1 files changed, 7 insertions, 1 deletions
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 <da@dcs.ed.ac.uk> -$Id$ +Contact: Proof General maintainer <proofgen@dcs.ed.ac.uk> The images in this directory were made with The Gimp (check www.gimp.org). + + + + |