Set default version to latest with mike 0.6.0.dev0

2020-11-09 12:43:42 -05:00 · 2020-11-09 12:43:42 -05:00 · d05782ceb9
parent b9b513aca7
commit d05782ceb9
1 changed files with 11 additions and 0 deletions
--- a/index.html
+++ b/index.html
@ -0,0 +1,11 @@
+<!DOCTYPE html>
+<html>
+<head>
+  <title>Redirecting</title>
+  <script>
+    window.location.replace("latest");
+  </script>
+</head>
+<body>
+</body>
+</html>