From e017ef402bd968a304c89c2ac8832f1868410ea7 Mon Sep 17 00:00:00 2001
From: Martin Weise <martin.weise@tuwien.ac.at>
Date: Tue, 27 Jun 2023 17:41:47 +0100
Subject: [PATCH] Set default version to 1.3 with mike 1.1.2
---
index.html | 16 ++++++++++++++++
1 file changed, 16 insertions(+)
create mode 100644 index.html
diff --git a/index.html b/index.html
new file mode 100644
index 0000000..a815a6d
--- /dev/null
+++ b/index.html
@@ -0,0 +1,16 @@
+<!DOCTYPE html>
+<html>
+<head>
+ <meta charset="utf-8">
+ <title>Redirecting</title>
+ <noscript>
+ <meta http-equiv="refresh" content="1; url=1.3/" />
+ </noscript>
+ <script>
+ window.location.replace("1.3/" + window.location.hash);
+ </script>
+</head>
+<body>
+ Redirecting to <a href="1.3/">1.3/</a>...
+</body>
+</html>
\ No newline at end of file
--
GitLab