diff --git a/docs/downloads.html.in b/docs/downloads.html.in index 99da7a60a129de869b70b5c20ce382c8d145b1e9..03069454935b4e2d725a3b421785a75b1c7abf9a 100644 --- a/docs/downloads.html.in +++ b/docs/downloads.html.in @@ -178,6 +178,22 @@