diff --git a/docs/404.html b/docs/404.html new file mode 100644 index 000000000..4938da6ea --- /dev/null +++ b/docs/404.html @@ -0,0 +1,201 @@ + + +
Page not found
Try the homepage, or search the documentation.