Set default version to master with mike 1.1.2

2022-01-27 20:22:12 +00:00 · 2022-01-27 20:22:12 +00:00 · 72428445ee
parent 3eefd2c987
commit 72428445ee
1 changed files with 16 additions and 0 deletions
--- a/index.html
+++ 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=master/" />
  </noscript>
  <script>
    window.location.replace("master/" + window.location.hash);
  </script>
 </head>
 <body>
  Redirecting to <a href="master/">master/</a>...
 </body>
 </html>