diff --git a/docs/html/platform.htm b/docs/html/platform.htm index 528ec7d8f0..727924497b 100644 --- a/docs/html/platform.htm +++ b/docs/html/platform.htm @@ -83,9 +83,10 @@ often don't work.