[webkit-dev] WebKitTools is changing to Tools

[Adam Barth]

Is it time to throw the switch now?

Adam


On Sun, Nov 21, 2010 at 9:55 AM, Dan Bernstein <mitz at apple.com> wrote:
>
> On Nov 21, 2010, at 5:41 AM, Eric Seidel wrote:
>
> That's likely to break all the ews and commit bots. Since I'm on vacation at
> least the ones I run will remain broken until I return on 29th.
>
> Thanks for letting me know. I will make this change some other time.
>
> On Nov 21, 2010 2:31 AM, "Dan Bernstein" <mitz at apple.com> wrote:
>> WebKit developers,
>>
>> I am going to commit the patch from
>> <https://bugs.webkit.org/show_bug.cgi?id=49861>, renaming the WebKitTools
>> directory to Tools and updating all internal references. If you update your
>> tree after that, you might need to adjust any personal scripts or tools that
>> refer to the old name.
>>
>> I am planning to do this in ~14 hours from now (9:30PM UTC, 1:30PM PST).
>>
>> Regards,
>> —Dan
>
>
> _______________________________________________
> webkit-dev mailing list
> webkit-dev at lists.webkit.org
> http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev
>
>