From 3ff589de2094044edbbe553050e448bca088ee78 Mon Sep 17 00:00:00 2001
From: eclipse-glsp-bot <57175764+eclipse-glsp-bot@users.noreply.github.com>
Date: Thu, 7 Sep 2023 20:20:44 +0200
Subject: [PATCH] Updating file 'docs/overrides/main.html' with otterdog.

---
 docs/overrides/main.html | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 docs/overrides/main.html

diff --git a/docs/overrides/main.html b/docs/overrides/main.html
new file mode 100644
index 0000000..7c254cb
--- /dev/null
+++ b/docs/overrides/main.html
@@ -0,0 +1,11 @@
+{% extends "base.html" %}
+
+{% block site_meta %}
+  {{ super() }}
+  <!-- prevent caching -->
+  <meta http-equiv="cache-control" content="no-cache, must-revalidate, post-check=0, pre-check=0" />
+  <meta http-equiv="cache-control" content="max-age=0" />
+  <meta http-equiv="expires" content="0" />
+  <meta http-equiv="expires" content="Tue, 01 Jan 1980 1:00:00 GMT" />
+  <meta http-equiv="pragma" content="no-cache" />
+{% endblock %}