diff --git a/index.html b/index.html new file mode 100644 index 000000000..5c70c702b --- /dev/null +++ b/index.html @@ -0,0 +1,11 @@ + + + + + + Page Redirection + + + If you are not redirected automatically, follow the link to the documentation + +