diff --git a/docs/website/docs.html b/docs/website/docs.html index 85b005004d..ee3eb3d065 100644 --- a/docs/website/docs.html +++ b/docs/website/docs.html @@ -26,7 +26,7 @@