diff --git a/docs/downloads.html b/docs/downloads.html index da84f8f9a..ddf139f85 100644 --- a/docs/downloads.html +++ b/docs/downloads.html @@ -83,7 +83,8 @@

Contents: