add index for github page

bricaud · Jul 6, 2017 · 056c0e0 · 056c0e0
1 parent f27ba43
commit 056c0e0
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/index.html b/index.html
@@ -0,0 +1,14 @@
+<!DOCTYPE HTML>
+<html>
+    <head>
+        <meta charset="UTF-8">
+        <meta http-equiv="refresh" content="1; url="graphexp.html">
+        <script type="text/javascript">
+            window.location.href = "graphexp.html"
+        </script>
+        <title>Page Redirection</title>
+    </head>
+    <body>
+        If you are not redirected automatically, follow this <a href="graphep.html">link to example</a>.
+    </body>
+</html>