diff --git a/doc/dist/index.html b/doc/dist/index.html new file mode 100644 index 00000000..3038b9db --- /dev/null +++ b/doc/dist/index.html @@ -0,0 +1,16 @@ + + + + + Redirecting + + + + + Redirecting to dev/... + + \ No newline at end of file