From 77848ea060822a639b32e2d44d7325b2bfe1ec15 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 9 Sep 1998 13:40:45 +0000 Subject: Message for images directory --- images/README | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 images/README 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 + +$Id$ + + +Images in this directory were made with The Gimp. +Icons to fit on the (default size) Emacs toolbars are 32x32. + + + -- cgit v1.2.3