Deleting history.html.
Review by: jgw
git-svn-id: https://google-web-toolkit.googlecode.com/svn/releases/1.6@4290 8db76d5a-ed1c-0410-87a9-c151d255dfc7
diff --git a/user/src/com/google/gwt/core/public/history.html b/user/src/com/google/gwt/core/public/history.html
deleted file mode 100644
index b06f46a..0000000
--- a/user/src/com/google/gwt/core/public/history.html
+++ /dev/null
@@ -1,21 +0,0 @@
-<html>
-<head>
-<script>
-function hst() {
- var search = location.search;
- var historyToken = '';
- if (search.length > 0)
- historyToken = search.substring(1);
-
- document.getElementById('__gwt_historyToken').value = historyToken;
- if (parent.__gwt_onHistoryLoad) {
- parent.__gwt_onHistoryLoad(historyToken);
- }
-}
-</script></head>
-<body onload='hst()'>
-
-<input type='text' id='__gwt_historyToken' tabIndex='-1'>
-
-</body>
-</html>
