Initial gh-pages commit

2017-07-15 01:24:09 +02:00
commit 86d19624ef
180 changed files with 12008 additions and 0 deletions
--- a/errors/Result.t.html
+++ b/errors/Result.t.html
@@ -0,0 +1,10 @@
+<!DOCTYPE html>
+<html lang="en">
+<head>
+    <meta http-equiv="refresh" content="0;URL=type.Result.html">
+</head>
+<body>
+    <p>Redirecting to <a href="type.Result.html">type.Result.html</a>...</p>
+    <script>location.replace("type.Result.html" + location.search + location.hash);</script>
+</body>
+</html>