Add a redirect page for git page

microsoft · Nov 17, 2018 · 97d5b78 · 97d5b78
1 parent 666968a
commit 97d5b78
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/docs/index.html b/docs/index.html
@@ -0,0 +1,7 @@
+<!DOCTYPE html>
+<html>
+<head>
+   <!-- HTML meta refresh URL redirection -->
+   <meta http-equiv="refresh" content="0; url=./doxygen/html/index.html">
+</head>
+</html>