diff --git a/doc/html/download.html b/doc/html/download.html index 5b5cbb7f..89ef570f 100644 --- a/doc/html/download.html +++ b/doc/html/download.html @@ -162,7 +162,6 @@ Windows