coverage index?

mivanit · Aug 29, 2024 · e0b26fb · e0b26fb
1 parent bf8e29e
commit e0b26fb
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/docs/coverage/index.html b/docs/coverage/index.html
@@ -0,0 +1,12 @@
+<!-- redirect to html/index.html -->
+<!DOCTYPE html>
+<html>
+  <head>
+	<title>Redirecting...</title>
+	<meta http-equiv="refresh" content="0; url=html/index.html">
+  </head>
+  <body>
+	<h1>Redirecting...</h1>
+	<a href="html/index.html">Click here if you are not redirected.</a>
+  </body>
+</html>