diff --git a/doc/htdocs/index.html b/doc/htdocs/index.html index cc0cf9a2..5e181a49 100644 --- a/doc/htdocs/index.html +++ b/doc/htdocs/index.html @@ -58,7 +58,7 @@ on server resource usage, and fairly speedy.