diff options
| author |   GitHub Action <action@github.com> | 2023-10-06 23:40:28 +0000 |
|---|---|---|
| committer | GitHub Action <action@github.com> | 2023-10-06 23:40:28 +0000 |
| commit | 34aca3ef660f1659e7a4c1089475d4a9185334dc (patch) | |
| tree | 17a747a85e595fbb93c31f449efb4c02492fc72d | |
| parent | d9a19421a187d5dc37a2aacf00c39d278a8798bd (diff) | |
| download | infini-34aca3ef660f1659e7a4c1089475d4a9185334dc.tar.gz infini-34aca3ef660f1659e7a4c1089475d4a9185334dc.zip | |
Set default version to latest with mike 1.1.2
| -rw-r--r-- | index.html | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -4,13 +4,13 @@ <meta charset="utf-8"> <title>Redirecting</title> <noscript> - <meta http-equiv="refresh" content="1; url=dev/" /> + <meta http-equiv="refresh" content="1; url=latest/" /> </noscript> <script> - window.location.replace("dev/" + window.location.hash); + window.location.replace("latest/" + window.location.hash); </script> </head> <body> - Redirecting to <a href="dev/">dev/</a>... + Redirecting to <a href="latest/">latest/</a>... </body> </html>
\ No newline at end of file |