[webkit-dev] WebKitTools has changed to Tools

[Ryosuke Niwa]

Thanks for the rename!  I love the fact I can access Tools in just 2 key
strokes (T + tab).

- Ryosuke

On Fri, Dec 17, 2010 at 4:09 PM, Dan Bernstein <mitz at apple.com> wrote:

> Done in r74301.
>
> On Nov 20, 2010, at 11:29 PM, Dan Bernstein 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
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-dev/attachments/20101221/526adc88/attachment.html>