diff --git a/docs/platforms.html.in b/docs/platforms.html.in index 0489c60aeb..a037074e1f 100644 --- a/docs/platforms.html.in +++ b/docs/platforms.html.in @@ -39,7 +39,7 @@