1 files changed, 0 insertions, 33 deletions
diff --git a/WebKitTools/WebKitLauncher/start.html b/WebKitTools/WebKitLauncher/start.html
deleted file mode 100644
index 2c94e79..0000000
--- a/WebKitTools/WebKitLauncher/start.html
+++ /dev/null
@@ -1,33 +0,0 @@
-<html>
-    <head>
-        <title>Loading WebKit...</title>
-        <meta http-equiv="refresh" content="1;URL=http://nightly.webkit.org/start/" />
-        <script type="text/javascript">
-            function getWebKitRevision()
-            {
-                var request = new XMLHttpRequest();
-                request.open("GET", "VERSION", false);
-                request.send();
-                var revision = parseInt(request.responseText);
-                if (isNaN(revision))
-                    return "";
-
-                return revision;
-            }
-
-            function getWebKitBranch()
-            {
-                var request = new XMLHttpRequest();
-                request.open("GET", "BRANCH", false);
-                request.send();
-                return (request.responseText || "trunk").replace(/\s/g, '')
-            }
-
-            var revision = getWebKitRevision();
-            var branch = getWebKitBranch();
-            document.location = "http://nightly.webkit.org/start/" + branch + "/" + revision;
-        </script>
-    </head>
-    <body>
-    </body>
-</html>