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