diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2007-12-11 19:26:07 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2007-12-11 19:26:07 +0000 |
commit | 6859c3dfa233c8844505d12cb86fb385704d3f54 (patch) | |
tree | 819f78f1fc9ffe3e1e30ea254c9cc599ba268753 /images | |
parent | 55ceeb7d2d1ad0451a2d057f5531790ea0df30f9 (diff) |
Updated.
Diffstat (limited to 'images')
-rw-r--r-- | images/README | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/images/README b/images/README index 2c64018f..378afd00 100644 --- a/images/README +++ b/images/README @@ -9,8 +9,8 @@ They were created in my spare time as a donation to the Proof General project. The images here are released under the Creative Commons license, see http://creativecommons.org/licenses/by-nc-sa/3.0/ -The search icon includes portions from Andrew Fitzsimon's Etiquette -search icon (under CC 2.0). +The Inkscape-based search icon includes portions from Andrew +Fitzsimon's Etiquette search icon (under CC 2.0). |