From ecc3bbbf3b36fabd71f0bd181c7ba099f3432e0b Mon Sep 17 00:00:00 2001
From: Martin Weise <martin.weise@tuwien.ac.at>
Date: Tue, 27 Jun 2023 15:54:39 +0100
Subject: [PATCH] Set default version to 1.3 with mike 1.1.2
---
index.html | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/index.html b/index.html
index e2bb4dc..a815a6d 100644
--- a/index.html
+++ b/index.html
@@ -4,13 +4,13 @@
<meta charset="utf-8">
<title>Redirecting</title>
<noscript>
- <meta http-equiv="refresh" content="1; url=latest/" />
+ <meta http-equiv="refresh" content="1; url=1.3/" />
</noscript>
<script>
- window.location.replace("latest/" + window.location.hash);
+ window.location.replace("1.3/" + window.location.hash);
</script>
</head>
<body>
- Redirecting to <a href="latest/">latest/</a>...
+ Redirecting to <a href="1.3/">1.3/</a>...
</body>
</html>
\ No newline at end of file
--
GitLab