I got them from some free-icons-site (don't know
which one, but it said
"free to use" or something).
b) Are they GPL-compatible?
Tough one. I doubt whoverver made them will come after us for using
them, though. If you put someting you made on the web and say "free to
use", it sounds like public domain to me...
c) If a) and b) are satisfactory, any objection
to adding them to CVS?
(They have to be marked as binary files in some way if so. I don't
know the option offhand.)
If there's a problem with their legal status, I can draw some new ones.
Well, if we're not even sure where they come from, it might be the best
thing to replace them.
Perhaps it's time for [[m:International arrow icon contest]]? We'll have
some finalists ready in time for New Year's! ;)
-- brion vibber (brion @