diff options
Diffstat (limited to 'Tools/WebKitLauncher/start.html')
| -rw-r--r-- | Tools/WebKitLauncher/start.html | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/Tools/WebKitLauncher/start.html b/Tools/WebKitLauncher/start.html deleted file mode 100644 index bdb593e74..000000000 --- a/Tools/WebKitLauncher/start.html +++ /dev/null @@ -1,17 +0,0 @@ -<html> - <head> - <title>Loading WebKit...</title> - <meta http-equiv="refresh" content="1;URL=http://nightly.webkit.org/start/"> - <script type="text/javascript"> - var script = document.createElement('script'); - script.src = "x-webkit-launcher:webkit-version-information.js"; - script.onload = function() { - if (webKitBranch && webKitRevision) - document.location = "http://nightly.webkit.org/start/" + webKitBranch + "/" + webKitRevision; - } - document.documentElement.appendChild(script); - </script> - </head> - <body> - </body> -</html> |