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@lists.webkit.org http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev