picked another save icon -- thanks to Eli for finding it!

svn: r9872
2008-05-16 23:31:31 +00:00 · 2008-05-16 23:31:31 +00:00 · cf81a03861
commit cf81a03861
parent 2b48cb0a4d
2 changed files with 4 additions and 0 deletions
--- a/collects/icons/save.png
+++ b/collects/icons/save.png
--- a/collects/scribblings/license/license.scrbl
+++ b/collects/scribblings/license/license.scrbl
@ -126,3 +126,7 @@ Clanbomber icon
 Everaldo Coelho
 http://www.everaldo.com/}

+@copyright{
+Save icon
+David Vignoni
+http://icon-king.com/}