diff options
author | Jérémy Zurcher <jeremy@asynk.ch> | 2018-06-27 09:18:55 +0200 |
---|---|---|
committer | Jérémy Zurcher <jeremy@asynk.ch> | 2018-06-28 16:25:03 +0200 |
commit | 1e5fc3262942078fe00d51c2f2c9a241bd01a582 (patch) | |
tree | 16eb11790da32857ea493d297ead72c94de937d3 /html/webapp/index.html | |
parent | c87bb2d10bab1f68d320b7f564e568ab742193ac (diff) | |
download | gdx-boardgame-1e5fc3262942078fe00d51c2f2c9a241bd01a582.zip gdx-boardgame-1e5fc3262942078fe00d51c2f2c9a241bd01a582.tar.gz |
get rid of html target
Diffstat (limited to 'html/webapp/index.html')
-rw-r--r-- | html/webapp/index.html | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/html/webapp/index.html b/html/webapp/index.html deleted file mode 100644 index cc07784..0000000 --- a/html/webapp/index.html +++ /dev/null @@ -1,33 +0,0 @@ -<!doctype html> -<html> - <head> - <title>zproject</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">↻</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'; - window.focus(); - } - - 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> |