From be1c4da19a575e94e58412617cfc33434c80e431 Mon Sep 17 00:00:00 2001
From: sbosse <sbosse@uni-bremen.de>
Date: Mon, 21 Jul 2025 22:48:18 +0200
Subject: [PATCH] Mon 21 Jul 22:43:21 CEST 2025

---
 js/dos/ext/vis/docs/index.html | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 js/dos/ext/vis/docs/index.html
diff --git a/js/dos/ext/vis/docs/index.html b/js/dos/ext/vis/docs/index.html
new file mode 100644
index 0000000..c9b7dce
--- /dev/null
+++ b/js/dos/ext/vis/docs/index.html
@@ -0,0 +1,11 @@
+<!DOCTYPE html>
+<html>
+    <head>
+        <meta charset="utf-8">
+        <meta http-equiv="refresh" content="0;url=../index.html#modules">
+        <title>Page Redirection</title>
+    </head>
+    <body>
+        If you are not redirected automatically, follow this <a href="../index.html#modules">link</a>.
+    </body>
+</html>
\ No newline at end of file
