Set default version to latest with mike 2.1.1

datajoint · May 17, 2024 · 46a0d37 · 46a0d37
1 parent df1ec13
commit 46a0d37
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/index.html b/index.html
@@ -7,10 +7,12 @@
     <meta http-equiv="refresh" content="1; url=latest/" />
   </noscript>
   <script>
-    window.location.replace("latest/" + window.location.hash);
+    window.location.replace(
+      "latest/" + window.location.search + window.location.hash
+    );
   </script>
 </head>
 <body>
   Redirecting to <a href="latest/">latest/</a>...
 </body>
-</html>
+</html>