Hi Anthony, The discussion (it is at https://groups.google.com/forum/?fromgroups=#!topic/greasemonkey-dev/pLamU_5hRfE) links to http://greasemonkey.devjavu.com/changeset/515 for example, and I found it using the wayback machine at http://web.archive.org/web/20081214132727/http://greasemonkey.devjavu.com/changeset/515 As you can see, this was committed in a branch, and I don't think that branch ever reached the current git repository.
I'm not sure if the icons in that branch were ever updated by Pak-Kei, but if they were, the format I am searching for (48px) could be in it. For Wikipedia for example, it would not help as much, as they usually have software artwork around 200px pixels high, and often SVG versions. If you, or someone else (maybe Pak-Kei is on this list?) can still find those images somewhere, would it be appreciated if the SVG version was added to the repository? In the meanwhile I'll be searching for still higher PNG versions :-) (The highest I have found is the 42px version set as icon for this group, and the version with background from the 2007 conversation). Greetings, Môshe van der Sterre 2012/12/14 Anthony Lieuallen <[email protected]> > On Fri, Dec 14, 2012 at 5:40 AM, Môshe van der Sterre - Webaholics < > [email protected]> wrote: > >> The discussion links to http://greasemonkey.devjavu.com/ for example, >> but I can not find the changesets the wayback machine tells me were there >> long ago, perhaps they were never merged and lost with the transition to >> git? >> > > That project host is indeed gone, but as far as source goes, when we > switched to git I took care to import the full history, all the way back > through CVS on mozdev days. If it was ever in the source, it's in the git > history. Big images never were AFAIK. > > >> As for the license, in the discussion Pak-Kei does mention it is the same >> license as Greasemonkey, which I do not think is a problem at all. >> > > Ah, great! > > -- > You received this message because you are subscribed to the Google Groups > "greasemonkey-users" group. > To post to this group, send email to [email protected]. > To unsubscribe from this group, send email to > [email protected]. > For more options, visit this group at > http://groups.google.com/group/greasemonkey-users?hl=en. > -- You received this message because you are subscribed to the Google Groups "greasemonkey-users" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/greasemonkey-users?hl=en.
