Rename WebKitTools to Tools
[WebKit-https.git] / Tools / WebKitLauncher / nightly.webkit.org.public.pem
2010-12-18 mitz@apple.comRename WebKitTools to Tools