1 files changed, 0 insertions, 39 deletions
diff --git a/trunk/infrastructure/ace/www/dev.html b/trunk/infrastructure/ace/www/dev.html
deleted file mode 100644
index 0a9768e..0000000
--- a/trunk/infrastructure/ace/www/dev.html
+++ /dev/null
@@ -1,39 +0,0 @@
-<!DOCTYPE html PUBLIC
-	  "-//W3C//DTD XHTML 1.0 Transitional//EN"
-	  "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html debug="true">
-  <head>
-    <script src="jquery-1.2.1.js"></script>
-    <script src="ace2_common.js"></script>
-    <script src="ace2_outer.js"></script>
-    <script src="firebug/firebug.js"></script>
-    <script>
-function updateHTMLDisplay(html) {
-  $("#htmldisplay").html(html);
-}
-
-function addMessage(str) {
-  var li = document.createElement("li");
-  li.innerHTML = str;
-  $("#messages").prepend(li);
-}
-    </script>
-    <style>
-      #devstuff {
-        background-color: #ddd;
-        padding: 1em; 
-      }
-      #iframecontainer iframe { width: 500px; height: 300px; }
-    </style>
-  </head>
-  <body>
-    <div id="iframecontainer"><!-- --></div>
-    <hr>
-    <div id="devstuff">
-      <p><input type="text" id="cmdinput" size="100">
-	<button onclick="$('#cmdresult').html(htmlPrettyEscape(String(eval($('#cmdinput').get(0).value))))">Execute</button></p>
-      <p id="cmdresult"><!-- --></p>
-      <p id="htmldisplay"><!-- --></p>
-      <ul id="messages"><!-- --></ul>
-    </div>
-  </body>
-</html>