From 7299dd0c18716099f2f8a686256fbd86560b5e57 Mon Sep 17 00:00:00 2001
From: eclipse-osgi-technology-bot
 <141257664+eclipse-osgi-technology-bot@users.noreply.github.com>
Date: Thu, 10 Oct 2024 16:37:01 +0200
Subject: [PATCH] Deleting file 'docs/overrides/editor.html' with otterdog.

---
 docs/overrides/editor.html | 44 --------------------------------------
 1 file changed, 44 deletions(-)
 delete mode 100644 docs/overrides/editor.html

diff --git a/docs/overrides/editor.html b/docs/overrides/editor.html
deleted file mode 100644
index d9dab5a..0000000
--- a/docs/overrides/editor.html
+++ /dev/null
@@ -1,44 +0,0 @@
-{% extends "base.html" %}
-
-{% block libs %}
-  {{ super() }}
-  <script src="https://eclipsefdn.github.io/otterdog-assets/third_party/js-yaml/dist/js-yaml.min.js"></script>
-  <script src="https://eclipsefdn.github.io/otterdog-assets/third_party/CodeMirror/lib/codemirror.js"></script>
-  <script src="https://eclipsefdn.github.io/otterdog-assets/third_party/CodeMirror/mode/yaml/yaml.js"></script>
-  <script src="https://eclipsefdn.github.io/otterdog-assets/third_party/CodeMirror/addon/edit/matchbrackets.js"></script>
-  <script src="https://eclipsefdn.github.io/otterdog-assets/js/codemirror-mode-jsonnet.js"></script>
-
-  <!-- Executing Jsonnet -->
-  <script src="https://eclipsefdn.github.io/otterdog-assets/js/wasm_exec.js"></script>
-  <script>
-      if (!WebAssembly.instantiateStreaming) {
-          // This function was observed to be missing on Safari 14.
-          WebAssembly.instantiateStreaming = async (resp, importObject) => {
-             const source = await (await resp).arrayBuffer();
-             return await WebAssembly.instantiate(source, importObject);
-          };
-      }
-      const go = new Go();
-      WebAssembly.instantiateStreaming(fetch("https://eclipsefdn.github.io/otterdog-assets/js/libjsonnet.wasm"), go.importObject).then((result) => {
-          go.run(result.instance);
-      });
-  </script>
-  <script src="https://eclipsefdn.github.io/otterdog-assets/js/demo.js"></script>
-{% endblock %}
-
-{% block styles %}
-  <!-- Google Fonts -->
-  <link href="https://fonts.googleapis.com/css?family=Open+Sans:400italic,600italic,700italic,400,600,700" rel="stylesheet" type="text/css">
-
-  <!-- jsonnet.org stylesheet -->
-  <link rel="stylesheet" type="text/css" href="https://eclipsefdn.github.io/otterdog-assets/css/doc.css" />
-  <link rel="stylesheet" media="print" href="https://eclipsefdn.github.io/otterdog-assets/css/desktop.css">
-  <!-- The extra 16px is to account for the scrollbar, which is not always included. -->
-  <link rel="stylesheet" media="screen and (min-width: 1296px)" href="https://eclipsefdn.github.io/otterdog-assets/css/desktop.css">
-  <link rel="stylesheet" media="screen and (max-width: 1295px) and (min-width: 720px)" href="https://eclipsefdn.github.io/otterdog-assets/css/cellphone.css">
-  <link rel="stylesheet" media="screen and (max-width: 719px)" href="https://eclipsefdn.github.io/otterdog-assets/css/cellphone-small.css">
-  {{ super() }}
-
-  <!-- CodeMirror -->
-  <link rel="stylesheet" href="https://eclipsefdn.github.io/otterdog-assets/third_party/CodeMirror/lib/codemirror.css">
-{% endblock %}