Added back index.html

Eli · Eli · commit b83c7c35767e · 2025-11-03T09:40:34.000-08:00
diff --git a/docs/index.html b/docs/index.html
@@ -0,0 +1 @@
+<meta http-equiv="refresh" content="0; url=./html/index.html" />

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+<meta http-equiv="refresh" content="0; url=./html/index.html" />`