diff options
| author | Jérémy Zurcher <jeremy@asynk.ch> | 2016-01-27 21:58:12 +0100 | 
|---|---|---|
| committer | Jérémy Zurcher <jeremy@asynk.ch> | 2016-01-27 22:26:28 +0100 | 
| commit | abf16a799322d57068aba3969e16fb6bbd7f784f (patch) | |
| tree | ab11a9084b5fd6ae489e50cac0deaa7f58bf397b /html/webapp/index.html | |
| parent | 06e9e269c1eecb21a2c61d9bd6f2c1e43049fa55 (diff) | |
| download | RustAndDust-abf16a799322d57068aba3969e16fb6bbd7f784f.zip RustAndDust-abf16a799322d57068aba3969e16fb6bbd7f784f.tar.gz | |
remove project html
Diffstat (limited to 'html/webapp/index.html')
| -rw-r--r-- | html/webapp/index.html | 32 | 
1 files changed, 0 insertions, 32 deletions
| diff --git a/html/webapp/index.html b/html/webapp/index.html deleted file mode 100644 index 39c75f7..0000000 --- a/html/webapp/index.html +++ /dev/null @@ -1,32 +0,0 @@ -<!doctype html> -<html> -       <head> -              <title>RustAndDust</title> -              <meta http-equiv="content-type" content="text/html; charset=UTF-8"> -              <link href="styles.css" rel="stylesheet" type="text/css"> -              <script src="soundmanager2-setup.js"></script>   -  			  <script src="soundmanager2-jsmin.js"></script>  -       </head> -        -       <body>               -              <a class="superdev" href="javascript:%7B%20window.__gwt_bookmarklet_params%20%3D%20%7B'server_url'%3A'http%3A%2F%2Flocalhost%3A9876%2F'%7D%3B%20var%20s%20%3D%20document.createElement('script')%3B%20s.src%20%3D%20'http%3A%2F%2Flocalhost%3A9876%2Fdev_mode_on.js'%3B%20void(document.getElementsByTagName('head')%5B0%5D.appendChild(s))%3B%7D">SuperDev Refresh</a> -              <div align="center" id="embed-html"></div> -              <script type="text/javascript" src="html/html.nocache.js"></script> -       </body> -        -       <script> -              function handleMouseDown(evt) { -                evt.preventDefault(); -                evt.stopPropagation(); -                evt.target.style.cursor = 'default'; -              } -               -              function handleMouseUp(evt) { -                evt.preventDefault(); -                evt.stopPropagation(); -                evt.target.style.cursor = ''; -              } -              document.getElementById('embed-html').addEventListener('mousedown', handleMouseDown, false); -              document.getElementById('embed-html').addEventListener('mouseup', handleMouseUp, false); -       </script> -</html>
\ No newline at end of file | 
