[webkit-dev] WebKitTools has changed to Tools
rniwa at webkit.org
Tue Dec 21 12:13:29 PST 2010
Thanks for the rename! I love the fact I can access Tools in just 2 key
strokes (T + tab).
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).
> webkit-dev mailing list
> webkit-dev at lists.webkit.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the webkit-dev