fix: add index file on top level of docs for github page

klepp0 · Nov 3, 2022 · cbc9b23 · cbc9b23
1 parent 8f428c3
commit cbc9b23
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/index.html b/docs/index.html
@@ -0,0 +1 @@
+<meta http-equiv="refresh" content="0; url=./html/index.html" />