Rename WebKitTools to Tools
[WebKit-https.git] / Tools / Scripts / do-webcore-rename
2010-12-18 mitz@apple.comRename WebKitTools to Tools