ok/jj
1
0
Fork 0
forked from mirrors/jj
Code Pull requests Activity

Set default version to latest with mike 1.1.2

Browse source
This commit is contained in:
Ilya Grigoriev 2023-08-25 20:51:56 -08:00
parent 5313e101ef
commit 8c87aa023b
1 changed files with 16 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
index.html Normal file
View file

@ -0,0 +1,16 @@
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<title>Redirecting</title>
<noscript>
<meta http-equiv="refresh" content="1; url=latest/" />
</noscript>
<script>
window.location.replace("latest/" + window.location.hash);
</script>
</head>
<body>
Redirecting to <a href="latest/">latest/</a>...
</body>
</html>