move a few things away in to-be-integrated/

[myslice.git] / third-party / codemirror-3.15 / mode / rust / index.html
diff --git a/third-party/codemirror-3.15/mode/rust/index.html b/third-party/codemirror-3.15/mode/rust/index.html

deleted file mode 100644 (file)

index a6d47fe..0000000
--- a/third-party/codemirror-3.15/mode/rust/index.html
+++ /dev/null
@@ -1,48 +0,0 @@
-<!doctype html>
-<html>
-  <head>
-    <meta charset="utf-8">
-    <title>CodeMirror: Rust mode</title>
-    <link rel="stylesheet" href="../../lib/codemirror.css">
-    <script src="../../lib/codemirror.js"></script>
-    <script src="rust.js"></script>
-    <link rel="stylesheet" href="../../doc/docs.css">
-    <style type="text/css">.CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;}</style>
-  </head>
-  <body>
-    <h1>CodeMirror: Rust mode</h1>
-
-<div><textarea id="code" name="code">
-// Demo code.
-
-type foo<T> = int;
-enum bar {
-    some(int, foo<float>),
-    none
-}
-
-fn check_crate(x: int) {
-    let v = 10;
-    alt foo {
-      1 to 3 {
-        print_foo();
-        if x {
-            blah() + 10;
-        }
-      }
-      (x, y) { "bye" }
-      _ { "hi" }
-    }
-}
-</textarea></div>
-
-    <script>
-      var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
-        lineNumbers: true,
-        tabMode: "indent"
-      });
-    </script>
-
-    <p><strong>MIME types defined:</strong> <code>text/x-rustsrc</code>.</p>
-  </body>
-</html>