From cb513a99edb48e68ad66d0d8dbde33b6d7766519 Mon Sep 17 00:00:00 2001 From: yangalicace1 <royer.yangali@etsi.org> Date: Mon, 14 Oct 2024 11:34:32 +0000 Subject: [PATCH] Set default version to latest in public with mike 2.1.3 --- public/index.html | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 public/index.html diff --git a/public/index.html b/public/index.html new file mode 100644 index 0000000..41a13bb --- /dev/null +++ b/public/index.html @@ -0,0 +1,18 @@ +<!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.search + window.location.hash + ); + </script> +</head> +<body> + Redirecting to <a href="latest/">latest/</a>... +</body> +</html> -- GitLab