diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1998-09-09 13:40:45 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1998-09-09 13:40:45 +0000 |
commit | 77848ea060822a639b32e2d44d7325b2bfe1ec15 (patch) | |
tree | c86713b657260ee7df8ec63ff99fcfa66fb5f4fd /images | |
parent | 69c03166ebc0762bc7afefa6b3a49e2b991fbc3e (diff) |
Message for images directory
Diffstat (limited to 'images')
-rw-r--r-- | images/README | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/images/README b/images/README new file mode 100644 index 00000000..0ca9ab11 --- /dev/null +++ b/images/README @@ -0,0 +1,12 @@ +Icons for Generic Proof Mode. + +David Aspinall <da@dcs.ed.ac.uk> + +$Id$ + + +Images in this directory were made with The Gimp. +Icons to fit on the (default size) Emacs toolbars are 32x32. + + + |