index.html added for github wiki.

z00m128 · May 8, 2018 · 8a1a75c · 8a1a75c
1 parent aaaa322
commit 8a1a75c
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/docs/index.html b/docs/index.html
@@ -0,0 +1,6 @@
+<html>
+<head>
+<meta http-equiv="refresh" content="0; url=documentation.html" />
+</head>
+<body></body>
+</html>