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

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

deleted file mode 100644 (file)

index 8b54981..0000000
--- a/third-party/codemirror-3.15/mode/sieve/index.html
+++ /dev/null
@@ -1,81 +0,0 @@
-<!doctype html>
-<html>
-  <head>
-    <meta charset="utf-8">
-    <title>CodeMirror: Sieve (RFC5228) mode</title>
-    <link rel="stylesheet" href="../../doc/docs.css">
-    <link rel="stylesheet" href="../../lib/codemirror.css">
-    <script src="../../lib/codemirror.js"></script>
-    <script src="sieve.js"></script>
-    <style>.CodeMirror {background: #f8f8f8;}</style>
-  </head>
-  <body>
-    <h1>CodeMirror: Sieve (RFC5228) mode</h1>
-    <form><textarea id="code" name="code">
-#
-# Example Sieve Filter
-# Declare any optional features or extension used by the script
-#
-
-require ["fileinto", "reject"];
-
-#
-# Reject any large messages (note that the four leading dots get
-# "stuffed" to three)
-#
-if size :over 1M
-{
-  reject text:
-Please do not send me large attachments.
-Put your file on a server and send me the URL.
-Thank you.
-.... Fred
-.
-;
-  stop;
-}
-
-#
-# Handle messages from known mailing lists
-# Move messages from IETF filter discussion list to filter folder
-#
-if header :is "Sender" "owner-ietf-mta-filters@imc.org"
-{
-  fileinto "filter";  # move to "filter" folder
-}
-#
-# Keep all messages to or from people in my company
-#
-elsif address :domain :is ["From", "To"] "example.com"
-{
-  keep;               # keep in "In" folder
-}
-
-#
-# Try and catch unsolicited email.  If a message is not to me,
-# or it contains a subject known to be spam, file it away.
-#
-elsif anyof (not address :all :contains
-               ["To", "Cc", "Bcc"] "me@example.com",
-             header :matches "subject"
-               ["*make*money*fast*", "*university*dipl*mas*"])
-{
-  # If message header does not contain my address,
-  # it's from a list.
-  fileinto "spam";   # move to "spam" folder
-}
-else
-{
-  # Move all other (non-company) mail to "personal"
-  # folder.
-  fileinto "personal";
-}
-</textarea></form>
-    <script>
-      var editor = CodeMirror.fromTextArea(document.getElementById("code"), {});
-    </script>
-
-    <p><strong>MIME types defined:</strong> <code>application/sieve</code>.</p>
-
-  </body>
-</html>