diff options
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). + + + + |