[webkit-dev] WebKitTools has changed to Tools

Dan Bernstein mitz at apple.com
Fri Dec 17 16:09:13 PST 2010

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-dev/attachments/20101217/d541d9c5/attachment.html>

More information about the webkit-dev mailing list