diff --git a/docs/installation.html b/docs/installation.html index 0f10b5fd42..2153a5ab0a 100644 --- a/docs/installation.html +++ b/docs/installation.html @@ -79,16 +79,8 @@