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.
