aboutsummaryrefslogtreecommitdiffhomepage
path: root/images/README
diff options
context:
space:
mode:
Diffstat (limited to 'images/README')
-rw-r--r--images/README8
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).
+
+
+
+